Symbolic execution with existential second-order constraints

Article Details
Title:	Symbolic execution with existential second-order constraints
Article URLs:	https://doi.org/10.1145/3236024.3236049
Alternative Article URLs:
Authors:	Sergey Mechtaev	National University of Singapore
	Alberto Griggio	Fondazione Bruno Kessler
	Alessandro Cimatti	Fondazione Bruno Kessler
	Abhik Roychoudhury	National University of Singapore
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://angelix.io/second-order.html
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sigsoft/MechtaevGCR18
Author Comments:

ACM Foundations of Software Engineering, FSE 2018