Ting Chen, Xiaosong Zhang, Shi-ze Guo, Hong-yuan Li, Yue Wu. State of the art: Dynamic symbolic execution for automated test generation. Future Generation Comp. Syst., 29(7):1758-1773, 2013. [doi]
@article{ChenZGLW13,
title = {State of the art: Dynamic symbolic execution for automated test generation},
author = {Ting Chen and Xiaosong Zhang and Shi-ze Guo and Hong-yuan Li and Yue Wu},
year = {2013},
doi = {10.1016/j.future.2012.02.006},
url = {http://dx.doi.org/10.1016/j.future.2012.02.006},
researchr = {https://researchr.org/publication/ChenZGLW13},
cites = {0},
citedby = {0},
journal = {Future Generation Comp. Syst.},
volume = {29},
number = {7},
pages = {1758-1773},
}