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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Proceedings of the 2013 International Conference on Software Engineering s. 772 - 781
Hlavní autori:	Nguyen, Hoang Duong Thien, Qi, Dawei, Roychoudhury, Abhik, Chandra, Satish
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Piscataway, NJ, USA IEEE Press 18.05.2013
Edícia:	ACM Conferences
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!