Automated debugging based on a constraint model of the program and a test case

DOI10.1016/J.JLAP.2012.03.002zbMATH Open1246.68102OpenAlexW2009080961MaRDI QIDQ444487FDOQ444487

Franz Wotawa, Iulia Moraru, Mihai Nica

Publication date: 14 August 2012

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2012.03.002

Recommendations

• scientific article; zbMATH DE number 2089877
• scientific article
• Logical debugging
• The localization and correction of errors in models: a constraint-based approach
• A formal semantics for program debugging

zbMATH Keywords

constraintsconstraint satisfaction problemalgorithmic debuggingautomated debuggingmodel-based debugging

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• A theory of diagnosis from first principles
• Title not available (Why is that?)
• Dynamic program slicing
• Model-based diagnosis of hardware designs
• Program Slicing
• Debugging hardware designs using a value-based model
• Experimental Evaluation of program slicing for fault localization
• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming Languages and Systems
• On the relationship between model-based debugging and program slicing

Cited In (8)

• Constraint-based debugging in probabilistic model checking
• The localization and correction of errors in models: a constraint-based approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model-based diagnosis with ASP for non-groundable domains
• Fundamental Approaches to Software Engineering
• Title not available (Why is that?)

Uses Software

• MINION

This page was built for publication: Automated debugging based on a constraint model of the program and a test case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444487)