Lazy Annotation for Program Testing and Verification
Abstract elided by the publisher.
Related papers
- Lazy Annotation Revisited CAV 2014
- StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs CAV 2025
- Bounded Verification of Multi-threaded Programs via Lazy Sequentialization TOPLAS 2022
- Formal Program Testing POPL 1981
- Modular lazy search for Constraint Satisfaction Problems JFP 2001
- Lazy rewriting on eager machinery TOPLAS 2000
- The lazy happens-before relation: better partial-order reduction for systematic concurrency testing PPoPP 2015
- Refinement types for Haskell ICFP 2014