Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata
No abstract available.
Related papers
- Measuring effectiveness of sample-based product-line testing GPCE 2018
- Model Checking via Reachability Testing for Timed Automata TACAS 1998
- Small Test Suites for Active Automata Learning TACAS 2024
- Off-line variable substitution for scaling points-to analysis PLDI 2000
- Learning Real-Time One-Counter Automata Using Polynomially Many Queries TACAS 2025
- Automated Test Generation from Timed Automata TACAS 2001
- Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations POPL 2006
- Understanding and Improving Flaky Test Classification OOPSLA 2025