Running symbolic execution forever
Frank Busse, Martin Nowack, Cristian Cadar[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
ISSTA 2020
Virtual Event, USA
Association for Computing Machinery
New York, NY, USA
Pages 63-74
2020
Note(s): symbolic execution, KLEE verifier
ISSTA 2020
Virtual Event, USA
Association for Computing Machinery
New York, NY, USA
Pages 63-74
2020
Note(s): symbolic execution, KLEE verifier