Martin Hentschel, Reiner Hähnle, Richard Bubel
Visualizing Unbounded Symbolic Execution
TAP, 2014.
@inproceedings{TAP-2014-HentschelHB, author = "Martin Hentschel and Reiner Hähnle and Richard Bubel", booktitle = "{Proceedings of the Eighth International Conference on Tests and Proofs}", doi = "10.1007/978-3-319-09099-3_7", isbn = "978-3-319-09098-6", pages = "82--98", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Visualizing Unbounded Symbolic Execution}", volume = 8570, year = 2014, }