SemFix: Program Repair via Semantic Analysis. - Hoang Duong Thien Nguyen; Qi, Dawei; Roychoudhury, Abhik; Chandra, Satish (ICSE: International Conference on Software Engineering, 2013)