SemFix: program repair via semantic analysis - Nguyen, Hoang Duong Thien; Qi, Dawei; Roychoudhury, Abhik; Chandra, Satish (Proceedings of the 2013 International Conference on Software Engineering, 2013)
Keywords: Software and its engineering -- Software creation and management -- Software verification and validation -- Software defect analysis -- Software testing and debugging; Theory of computation -- Semantics and reasoning -- Program reasoning -- Program analysis; Theory of computation -- Semantics and reasoning -- Program semantics