Model-Based Debugging using Multiple Abstract Models

TL;DR

This paper presents an automated debugging framework that uses multiple abstract models and model-based diagnosis techniques to identify and correct structural faults in programs efficiently.

Contribution

It introduces a novel approach combining abstract interpretation and model revision for automatic fault detection and correction in software debugging.

Findings

Effective fault localization using multiple abstract models

Automatic detection and correction of structural faults

Enhanced debugging efficiency through model-based reasoning

Abstract

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.