Producing Short Counterexamples Using "Crucial Events"
No abstract available.
Related papers
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms POPL 2017
- Effective race detection for event-driven programs OOPSLA 2013
- Type Inference Builds a Short Cut to Deforestation ICFP 1999
- A New One-Pass Transformation into Monadic Normal Form CC 2003
- Explaining Hyperproperty Violations CAV 2022
- EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation OOPSLA 2014
- Phase guided profiling for fast cache modeling CGO 2012
- Checking equivalence in a non-strict language OOPSLA 2022