×
2015
Test Generation for Embedded Executables via Concolic Execution in a Real Environment.
[DOI]
Ting Chen
,
Xiaosong Zhang
,
Xiao-li Ji
,
Cong Zhu
,
Yang Bai
,
Yue Wu
IEEE Trans. Reliab., 2015
2013
Design and implementation of a dynamic symbolic execution tool for windows executables.
[DOI]
Ting Chen
,
Xiaosong Zhang
,
Cong Zhu
,
Xiao-li Ji
,
Shi-ze Guo
,
Yue Wu
J. Softw. Evol. Process., 2013