Timotej Kapus, Cristian Cadar. Automatic testing of symbolic execution engines via program generation and differential testing. In Grigore Rosu, Massimiliano Di Penta, Tien N. Nguyen, editors, Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017. pages 590-600, ACM, 2017. [doi]
@inproceedings{KapusC17,
title = {Automatic testing of symbolic execution engines via program generation and differential testing},
author = {Timotej Kapus and Cristian Cadar},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3155636},
researchr = {https://researchr.org/publication/KapusC17},
cites = {0},
citedby = {0},
pages = {590-600},
booktitle = {Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017},
editor = {Grigore Rosu and Massimiliano Di Penta and Tien N. Nguyen},
publisher = {ACM},
isbn = {978-1-5386-2684-9},
}