Search-driven string constraint solving for vulnerability detection

Article Details
Title:	Search-driven string constraint solving for vulnerability detection
Article URLs:	https://doi.org/10.1109/ICSE.2017.26 http://doi.ieeecomputersociety.org/10.1109/ICSE.2017.26 http://dl.acm.org/citation.cfm?id=3097393
Alternative Article URLs:
Authors:	Julian Thomé	University of Luxembourg, SnT Centre
	Lwin Khin Shar	University of Luxembourg, SnT Centre
	Domenico Bianculli	University of Luxembourg, SnT Centre
	Lionel C. Briand	University of Luxembourg, SnT Centre
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/kamranzafar/rest-auth-proxy
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/icse/ThomeSBB17
Author Comments:

ACM/IEEE International Conference on Software Engineering, ICSE 2017