On the relationship between model-based debugging and program slicing

DOI10.1016/S0004-3702(01)00161-8zbMath0983.68019OpenAlexW2080412071WikidataQ127125139 ScholiaQ127125139MaRDI QIDQ5958541

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

program slicingmodel-based diagnosisdebugging

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (3)

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

Cites Work

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

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