Whodunit? Causal Analysis for Counterexamples

DOI10.1007/11901914_9zbMATH Open1161.68588OpenAlexW2120567844MaRDI QIDQ3522901FDOQ3522901

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (10)

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

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)