Advanced Search

Dependency-Directed Localization of Software Bugs

Research and Teaching Output of the MIT Community

Show simple item record Kuper, Ron I. en_US 2004-10-20T20:00:58Z 2004-10-20T20:00:58Z 1989-05-01 en_US
dc.identifier.other AITR-1053 en_US
dc.description.abstract Software bugs are violated specifications. Debugging is the process that culminates in repairing a program so that it satisfies its specification. An important part of debugging is localization, whereby the smallest region of the program that manifests the bug is found. The Debugging Assistant (DEBUSSI) localizes bugs by reasoning about logical dependencies. DEBUSSI manipulates the assumptions that underlie a bug manifestation, eventually localizing the bug to one particular assumption. At the same time, DEBUSSI acquires specification information, thereby extending its understanding of the buggy program. The techniques used for debugging fully implemented code are also appropriate for validating partial designs. en_US
dc.format.extent 74 p. en_US
dc.format.extent 9511143 bytes
dc.format.extent 3558711 bytes
dc.format.mimetype application/postscript
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.relation.ispartofseries AITR-1053 en_US
dc.subject debugging en_US
dc.subject programmer's apprentice en_US
dc.title Dependency-Directed Localization of Software Bugs en_US

Files in this item

Name Size Format Description 9.070Mb Postscript
AITR-1053.pdf 3.393Mb PDF

This item appears in the following Collection(s)

Show simple item record