Deferred concretization in symbolic execution via fuzzing

Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy. Deferred concretization in symbolic execution via fuzzing. In Dongmei Zhang, Anders Møller, editors, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. pages 228-238, ACM, 2019. [doi]

Authors

Awanish Pandey

This author has not been identified. Look up 'Awanish Pandey' in Google

Phani Raj Goutham Kotcharlakota

This author has not been identified. Look up 'Phani Raj Goutham Kotcharlakota' in Google

Subhajit Roy

This author has not been identified. Look up 'Subhajit Roy' in Google