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ženo v:

Podrobná bibliografie
Vydáno v:	Proceedings of the 2013 International Conference on Software Engineering s. 772 - 781
Hlavní autoři:	Nguyen, Hoang Duong Thien, Qi, Dawei, Roychoudhury, Abhik, Chandra, Satish
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Piscataway, NJ, USA IEEE Press 18.05.2013
Edice:	ACM Conferences
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!