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
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