Dependency-Directed Localization of Software Bugs

Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6838

Full metadata record

DC Field	Value	Language
dc.creator	Kuper, Ron I.	-
dc.date	2004-10-20T20:00:58Z	-
dc.date	2004-10-20T20:00:58Z	-
dc.date	1989-05-01	-
dc.date.accessioned	2013-10-09T02:47:12Z	-
dc.date.available	2013-10-09T02:47:12Z	-
dc.date.issued	2013-10-09	-
dc.identifier	AITR-1053	-
dc.identifier	http://hdl.handle.net/1721.1/6838	-
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721	-
dc.description	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.	-
dc.format	74 p.	-
dc.format	9511143 bytes	-
dc.format	3558711 bytes	-
dc.format	application/postscript	-
dc.format	application/pdf	-
dc.language	en_US	-
dc.relation	AITR-1053	-
dc.subject	debugging	-
dc.subject	programmer's apprentice	-
dc.title	Dependency-Directed Localization of Software Bugs	-
Appears in Collections:	MIT Items

Files in This Item:

There are no files associated with this item.

DSpace JSPUI