Deferred concretization in symbolic execution via fuzzing. - Awanish Pandey; Phani Raj Goutham Kotcharlakota; Subhajit Roy 001 (ISSTA, 2019)