SemFix: program repair via semantic analysis

Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing the bug is non-trivial. Given this situation, automated program repair methods are of value. In this paper, we present an automated repair meth...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of the 2013 International Conference on Software Engineering pp. 772 - 781
Main Authors:	Nguyen, Hoang Duong Thien, Qi, Dawei, Roychoudhury, Abhik, Chandra, Satish
Format:	Conference Proceeding
Language:	English
Published:	Piscataway, NJ, USA IEEE Press 18.05.2013
Series:	ACM Conferences
Subjects:	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
ISBN:	1467330760, 9781467330763
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!