Jazz: A Tool for Demand-Driven Structural Testing
Abstract elided by the publisher.
Related papers
- Higher-order demand-driven symbolic evaluation ICFP 2020
- Demand-driven alias analysis for C POPL 2008
- Demanded abstract interpretation PLDI 2021
- Data-driven precondition inference with learned features PLDI 2016
- A demand-driven adaptive type analysis ICFP 2002
- Context-Sensitive Demand-Driven Control-Flow Analysis ESOP 2025
- JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution TACAS 2010
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015