Symbolic execution with existential second-order constraints
Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury[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 389-399
2018
Note(s): symbolic execution
ESEC/FSE 2018
Lake Buena Vista, FL, USA
Association for Computing Machinery
New York, NY, USA
Pages 389-399
2018
Note(s): symbolic execution