Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao. Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution. In Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014. pages 98-107, IEEE, 2014. [doi]
@inproceedings{SuPFHYJZ14,
title = {Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution},
author = {Ting Su and Geguang Pu and Bin Fang and Jifeng He and Jun Yan and Siyuan Jiang and Jianjun Zhao},
year = {2014},
doi = {10.1109/SERE.2014.23},
url = {http://dx.doi.org/10.1109/SERE.2014.23},
researchr = {https://researchr.org/publication/SuPFHYJZ14},
cites = {0},
citedby = {0},
pages = {98-107},
booktitle = {Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014},
publisher = {IEEE},
isbn = {978-1-4799-4296-1},
}