PG-KLEE: Trading soundness for coverage

Richard Rutledge, Alessandro Orso
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings
ICSE '20
Seoul, South Korea
Association for Computing Machinery
New York, NY, USA
Pages 65-68
2020
Note(s): KLEE verifier, symbolic execution, fuzz testing