Whodunit? Causal Analysis for Counterexamples

DOI10.1007/11901914_9zbMath1161.68588OpenAlexW2120567844MaRDI QIDQ3522901

Aarti Gupta, Chao Wang, Zi-Jiang Yang, Franjo Ivančić

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)

Related Items (4)

Foundations of fine-grained explainability ⋮ Explaining counterexamples using causality ⋮ Dynamic Path Reduction for Software Model Checking ⋮ Testing Concurrent Objects with Application-Specific Schedulers

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