Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification


Our experience with semi-exhaustive verification shows a severe degradation in usability for the corner-case bugs, where the tuning effort becomes much higher and recovery from dead-ends is more and more difficult. Moreover, when there are no bugs at all, shifting semi-exhaustive traversal to exhaustive traversal is very expensive, if not impossible. This… (More)
DOI: 10.1007/10722167_30


7 Figures and Tables