When Abstraction Fails
No abstract available.
Related papers
- Fail Faster: Staging and Fast Randomness for High-Performance PBT OOPSLA 2026
- Abstraction-driven Concolic Testing VMCAI 2016
- Automate where Automation Fails: Proof Strategies for Frama-C/WP TACAS 2024
- Trace abstraction modulo probability POPL 2019
- A Framework for Debugging Automated Program Verification Proofs via Proof Actions CAV 2024
- Optimistic parallelism requires abstractions PLDI 2007
- On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation POPL 1991
- Refinement Type Refutations OOPSLA 2024