Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
No abstract available.
Related papers
- Hevm, a Fast Symbolic Execution Framework for EVM Bytecode CAV 2024
- Snugglebug: a powerful approach to weakest preconditions PLDI 2009
- SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures ISMM 2024
- Object-oriented units of measurement OOPSLA 2004
- A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects ECOOP 2018
- TOOLS: a unifying approach to object-oriented language interpretation PLDI 1987
- Generalized Symbolic Execution for Model Checking and Testing TACAS 2003
- KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs CAV 2011