Test Generation Derived from Model-Checking
Abstract elided by the publisher.
Related papers
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- Generalized Symbolic Execution for Model Checking and Testing TACAS 2003
- Test Generation for Intelligent Networks Using Model Checking TACAS 1997
- Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata TACAS 2014
- JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution TACAS 2010
- A traversal-based algorithm for higher-order model checking ICFP 2012
- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format TACAS 2023
- Avoiding useless mutants GPCE 2017