On the relationship between model-based debugging and program slicing
From MaRDI portal
(Redirected from Publication:5958541)
Recommendations
Cites work
- scientific article; zbMATH DE number 3449757 (Why is no real title available?)
- A correction to the algorithm in Reiter's theory of diagnosis
- A parallel algorithm for static program slicing
- A theory of diagnosis from first principles
- Diagnosing multiple faults
- Dynamic program slicing
- Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
- Model-based diagnosis of hardware designs
- Program Slicing
- Slicing programs in the presence of errors
- The program dependence graph and its use in optimization
Cited in
(9)- Constraint-based debugging in probabilistic model checking
- scientific article; zbMATH DE number 2089877 (Why is no real title available?)
- Sequential model-based diagnosis by systematic search
- scientific article; zbMATH DE number 1882062 (Why is no real title available?)
- Automated debugging based on a constraint model of the program and a test case
- Consistency-based diagnosis of configuration knowledge bases
- Rete network slicing for model queries
- Experimental Evaluation of program slicing for fault localization
- The value of slicing while debugging
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)
