Machine-learning-guided selectively unsound static analysis

Article Details
Title:	Machine-learning-guided selectively unsound static analysis
Article URLs:	https://doi.org/10.1109/ICSE.2017.54 http://doi.ieeecomputersociety.org/10.1109/ICSE.2017.54 http://dl.acm.org/citation.cfm?id=3097430
Alternative Article URLs:
Authors:	Kihong Heo	Seoul National University, Seoul, Korea
	Hakjoo Oh	Korea University Seoul, Korea
	Kwangkeun Yi	Seoul National University Seoul, Korea
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/icse/HeoOY17
Author Comments:

ACM/IEEE International Conference on Software Engineering, ICSE 2017