Mutation-based-testing

Skeletal Approximation Enumeration for SMT Solver Testing
Ensuring the equality of SMT solvers is critical due to its broad spectrum of applications in academia and industry, such as symbolic …
PDF Cite DOI Paper Link