Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A theory of diagnosis from first principles
Artificial Intelligence
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
Efficiently computing static single assignment form and the control dependence graph
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards automatic debugging of computer programs
Towards automatic debugging of computer programs
Abstract debugging of higher-order imperative languages
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic predicate abstraction of C programs
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
On the relationship between model-based debugging and program slicing
Artificial Intelligence
Principles of Program Analysis
Principles of Program Analysis
Visualization of test information to assist fault localization
Proceedings of the 24th International Conference on Software Engineering
Debugging Hardware Designs Using a Value-Based Model
Applied Intelligence
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
Using Design Information to Identify Structural Software Faults
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Model-Based Debugging or How to Diagnose Programs Automatically
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Dependency-Directed Localization of Software Bugs
Dependency-Directed Localization of Software Bugs
Logic programs for consistency-based diagnosis
Logic programs for consistency-based diagnosis
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results
Applied Intelligence
Explaining abstract counterexamples
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Locating causes of program failures
Proceedings of the 27th international conference on Software engineering
Debugging sequential circuits using Boolean satisfiability
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Using Redundancies to Find Errors
IEEE Transactions on Software Engineering
What went wrong: explaining counterexamples
SPIN'03 Proceedings of the 10th international conference on Model checking software
An object store model for diagnosing java programs
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
ErrorTracer: design error diagnosis based on fault simulation techniques
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A Fault-model-based Debugging Aid for Data Warehouse Applications
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Differencing labeled transition systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Applying answer set programming to points-to analysis of object-oriented language
ICIC'11 Proceedings of the 7th international conference on Advanced Intelligent Computing
Combining slicing and constraint solving for better debugging: the CONBAS approach
Advances in Software Engineering
A dynamic code coverage approach to maximize fault localization efficiency
Journal of Systems and Software
| Hi-index | 0.00 |
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.