Generalized Symbolic Execution for Model Checking and Testing
No abstract available.
Related papers
- Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata TACAS 2014
- Sound regular expression semantics for dynamic symbolic execution of JavaScript PLDI 2019
- KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs CAV 2011
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution TACAS 2005
- Validation of Abstract Side-Channel Models for Computer Architectures CAV 2020
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution APLAS 2008
- Higher-order test generation PLDI 2011