Model-Based Debugging – State of the Art And Future Challenges | Zendy

Wolfgang Mayer | Zendy; Markus Stumptner | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Model-Based Debugging – State of the Art And Future Challenges

Author(s) -

Wolfgang Mayer,

Markus Stumptner

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.12.030

Subject(s) - debugging , computer science , programming language , semantics (computer science) , algorithmic program debugging , software engineering , state (computer science) , software

A considerable body of work on model-based software debugging (MBSD) has been published in the past decade. We summarise the underlying ideas and present the different approaches as abstractions of the concrete semantics of the programming language. We compare the model-based framework with other well-known Automated Debugging approaches and present open issues, challenges and potential future directions of MBSD

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research