Model-Based Debugging using Multiple Abstract Models

Simple item page
dc.creatorMayer, Wolfgang
dc.creatorStumptner, Markus
dc.date2003-09-17
dc.date.accessioned2026-07-07T03:20:20Z
dc.date.available2026-07-07T03:20:20Z
dc.descriptionThis paper introduces an automatic debugging framework that relies on model-based reasoning techniques to locate faults in programs. In particular, model-based diagnosis, together with an abstract interpretation based conflict detection mechanism is used to derive diagnoses, which correspond to possible faults in programs. Design information and partial specifications are applied to guide a model revision process, which allows for automatic detection and correction of structural faults.
dc.descriptionIn M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), September 2003, Ghent. cs.SE/0309027
dc.identifierhttps://arxiv.org/abs/cs/0309030
dc.identifierhttp://arxiv.org/abs/cs/0309030
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/31792
dc.subjectSoftware Engineering
dc.subjectArtificial Intelligence
dc.subjectD.2.5
dc.titleModel-Based Debugging using Multiple Abstract Models
dc.typetext

Files

Collections

arXiv