Angelic debugging

Software ships with known bugs because it is expensive to pinpoint and fix the bug exposed by a failing test. To reduce the cost of bug identification, we locate expressions that are likely causes of bugs and thus candidates for repair. Our symbolic method approximates an ideal approach to fixing bu...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2011 33rd International Conference on Software Engineering (ICSE) s. 121 - 130
Hlavní autoři:	Chandra, Satish, Torlak, Emina, Barman, Shaon, Bodik, Rastislav
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 21.05.2011 IEEE
Edice:	ACM Conferences
Témata:	angelic non-determinism Computer bugs Computers Concrete Debugging Java Maintenance engineering Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging symbolic execution Testing tests angelic non-determinism symbolic execution debugging tests
ISBN:	9781450304450, 1450304451
ISSN:	0270-5257
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!