Whodunit? Causal Analysis for Counterexamples
From MaRDI portal
Publication:3522901
DOI10.1007/11901914_9zbMath1161.68588MaRDI QIDQ3522901
Zi-Jiang Yang, Chao Wang, Aarti Gupta, 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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Testing Concurrent Objects with Application-Specific Schedulers, Explaining counterexamples using causality, Dynamic Path Reduction for Software Model Checking