On the relationship between model-based debugging and program slicing

DOI10.1016/S0004-3702(01)00161-8zbMATH Open0983.68019OpenAlexW2080412071WikidataQ127125139 ScholiaQ127125139MaRDI QIDQ5958541FDOQ5958541

Franz Wotawa

Publication date: 3 March 2002

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(01)00161-8

zbMATH Keywords

debuggingprogram slicingmodel-based diagnosis

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Title not available (Why is that?)
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Dynamic program slicing
• Model-based diagnosis of hardware designs
• Program Slicing
• The program dependence graph and its use in optimization
• A correction to the algorithm in Reiter's theory of diagnosis
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• A parallel algorithm for static program slicing
• Slicing programs in the presence of errors

Cited In (4)

• Constraint-based debugging in probabilistic model checking
• Sequential model-based diagnosis by systematic search
• Automated debugging based on a constraint model of the program and a test case
• Consistency-based diagnosis of configuration knowledge bases

This page was built for publication: On the relationship between model-based debugging and program slicing

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