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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Proceedings of the 2013 International Conference on Software Engineering S. 772 - 781
Hauptverfasser:	Nguyen, Hoang Duong Thien, Qi, Dawei, Roychoudhury, Abhik, Chandra, Satish
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Piscataway, NJ, USA IEEE Press 18.05.2013
Schriftenreihe:	ACM Conferences
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!