Model-Based Debugging using Multiple Abstract Models

Details Model-Based Debugging using Multiple Abstract Models Model-Based Debugging using Multiple Abstract Models

2003-09-17

arxiv.org/abs/cs/0309030v1

Computer Science

Software Engineering

In M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Se

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Model-Based Debugging using Multiple Abstract Models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Model-Based Debugging using Multiple Abstract Models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model-Based Debugging using Multiple Abstract Models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-137362