Bug synthesis: Challenging bug-finding tools with deep faults
Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt, Yu Hu[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
ESEC/FSE 2018
Lake Buena Vista, FL, USA
Association for Computing Machinery
New York, NY, USA
Pages 224-234
2018
Note(s): symbolic execution
ESEC/FSE 2018
Lake Buena Vista, FL, USA
Association for Computing Machinery
New York, NY, USA
Pages 224-234
2018
Note(s): symbolic execution