Design and implementation of a dynamic symbolic execution tool for windows executables. - Ting Chen 002; Xiaosong Zhang 001; Cong Zhu; Xiao-li Ji; Shi-ze Guo; Yue Wu (J. Softw. Evol. Process., 2013)

Test Generation for Embedded Executables via Concolic Execution in a Real Environment. - Ting Chen 002; Xiaosong Zhang 001; Xiao-li Ji; Cong Zhu; Yang Bai; Yue Wu (IEEE Trans. Reliab., 2015)