Deferred concretization in symbolic execution via fuzzing

Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
ISSTA 2019
Beijing, China
Association for Computing Machinery
New York, NY, USA
Pages 228-238
2019
Note(s): symbolic execution, fuzz testing, KLEE verifier