Query-Driven Program Testing
No abstract available.
Related papers
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015
- Demand-driven alias analysis for C POPL 2008
- Data-driven synthesis for object-oriented frameworks OOPSLA 2011
- A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis TOPLAS 1997
- Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search PLDI 2025
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java ECOOP 2016
- JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution TACAS 2010
- Enabling Near Real-Time NLU-Driven Natural Language Programming through Dynamic Grammar Graph-Based Translation CGO 2022