Whodunit? Causal Analysis for Counterexamples

DOI10.1007/11901914_9MaRDI QIDQ3522901zbMATH OpenOpenAlexFDO

Authors Chao Wang, Zijiang Yang, Franjo Ivančić, Aarti Gupta

Publication date 4 September 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11901914_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Explaining counterexamples using causality
• Explaining Counterexamples Using Causality
• scientific article; zbMATH DE number 1982201
• Making the most of BMC counterexamples
• Computer Aided Verification

Cited in

(10)

• Dynamic Path Reduction for Software Model Checking
• Constraint-based debugging in probabilistic model checking
• Foundations of fine-grained explainability
• Testing Concurrent Objects with Application-Specific Schedulers
• Explaining counterexamples using causality
• Explaining Hyperproperty Violations
• CAUSAL ANALYSIS AFTER HAAVELMO
• Explaining Counterexamples Using Causality
• Root cause analysis of large scale application testing results
• Making the most of BMC counterexamples

This page was built for publication: Whodunit? Causal Analysis for Counterexamples

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