JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution
No abstract available.
Related papers
- A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications ECOOP 2020
- Learning Abstraction Selection for Bayesian Program Analysis OOPSLA 2024
- Maple: a coverage-driven testing tool for multithreaded programs OOPSLA 2012
- A Case for Test-Code Generation in Model-Driven Systems GPCE 2003
- API-Driven Program Synthesis for Testing Static Typing Implementations POPL 2024
- Jazz: A Tool for Demand-Driven Structural Testing CC 2005
- Using web corpus statistics for program analysis OOPSLA 2014
- Compiler Testing with Relaxed Memory Models CGO 2024