2003/09/17 by Wolfgang Mayer, Mayer, Wolfgang, Markus Stumptner +1
Computer Science · #Artificial Intelligence (cs.AI) #D.2.5 #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.AI #cs.SE
paper · pdf · doi:10.48550/arxiv.cs/0309030
In M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), September 2003, Ghent. cs.SE/0309027
arxiv created 2003/09/17 · openalex publication_date 2003/09/17 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This 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.