State of the art: Dynamic symbolic execution for automated test generation. - Ting Chen 002; Xiaosong Zhang 001; Shi-ze Guo; Hong-yuan Li; Yue Wu (Future Gener. Comput. Syst., 2013)

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)