Precise condition synthesis for program repair

Article Details
Title:	Precise condition synthesis for program repair
Article URLs:	https://doi.org/10.1109/ICSE.2017.45 http://doi.ieeecomputersociety.org/10.1109/ICSE.2017.45 http://dl.acm.org/citation.cfm?id=3097418
Alternative Article URLs:
Authors:	Yingfei Xiong	Key Laboratory of High Conﬁdence Software Technologies Peking University, Department of Electrical Engineering and Computer Science
	Jie Wang	Key Laboratory of High Conﬁdence Software Technologies Peking University, Department of Electrical Engineering and Computer Science
	Runfa Yan	University of Electronic Science and Technology of China, SISE
	Jiachen Zhang	Peking University, Key Laboratory of High Conﬁdence Software Technologies Peking University, Department of Electrical Engineering and Computer Science
	Shi Han	Microsoft Research
	Gang Huang	Peking University, Key Laboratory of High Conﬁdence Software Technologie Peking University, Department of Electrical Engineering and Computer Science
	Lu Zhang	Peking University, Key Laboratory of High Conﬁdence Software Technologies Peking University, Department of Electrical Engineering and Computer Science
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/Adobee/ACS
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/icse/XiongWYZH0017
Author Comments:

ACM/IEEE International Conference on Software Engineering, ICSE 2017