Dependency-Directed Localization of Software Bugs

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

Files in this item

Files	Size	Format	View
There are no files associated with this item.