Xusheng Xiao, Sihan Li, Tao Xie, Nikolai Tillmann
Characteristic studies of loop problems for structural test generation via symbolic execution
ASE, 2013.
@inproceedings{ASE-2013-XiaoLXT,
author = "Xusheng Xiao and Sihan Li and Tao Xie and Nikolai Tillmann",
booktitle = "{Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2013.6693084",
pages = "246--256",
publisher = "{IEEE}",
title = "{Characteristic studies of loop problems for structural test generation via symbolic execution}",
year = 2013,
}