Frank Busse, Martin Nowack, Cristian Cadar. Running symbolic execution forever. In Sarfraz Khurshid, Corina S. Pasareanu, editors, ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020. pages 63-74, ACM, 2020. [doi]
@inproceedings{BusseNC20,
title = {Running symbolic execution forever},
author = {Frank Busse and Martin Nowack and Cristian Cadar},
year = {2020},
doi = {10.1145/3395363.3397360},
url = {https://doi.org/10.1145/3395363.3397360},
researchr = {https://researchr.org/publication/BusseNC20},
cites = {0},
citedby = {0},
pages = {63-74},
booktitle = {ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
editor = {Sarfraz Khurshid and Corina S. Pasareanu},
publisher = {ACM},
isbn = {978-1-4503-8008-9},
}