Bounded-Exhaustive Subspace Diversification for SMT Solver Testing
No abstract available.
Related papers
- Type Targeted Testing ESOP 2015
- Programming and execution models for parallel bounded exhaustive testing OOPSLA 2021
- Bounded exhaustive test-input generation on GPUs OOPSLA 2017
- Bounded exhaustive test input generation from hybrid invariants OOPSLA 2014
- SolTG: A CHC-Based Solidity Test Case Generator CAV 2024
- A solver-aided language for test input generation OOPSLA 2017
- Generative type-aware mutation for testing SMT solvers OOPSLA 2021
- Reconciling exhaustive pattern matching with objects PLDI 2013