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

(15)

• Making the most of BMC counterexamples
• Dynamic Path Reduction for Software Model Checking
• Explaining Counterexamples Using Causality
• Explaining counterexamples using causality
• Root cause analysis of large scale application testing results
• CAUSAL ANALYSIS AFTER HAAVELMO
• Testing Concurrent Objects with Application-Specific Schedulers
• Explaining Hyperproperty Violations
• Constraint-based debugging in probabilistic model checking
• Conflict-aware active automata learning
• Counterfactual causality for reachability and safety based on distance functions
• A theory of fine-grained lineage for functions on structured objects
• From verification to causality-based explications (invited talk)
• Counterfactual explanations for MITL violations
• Foundations of fine-grained explainability

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)