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 引用 DOI Paper Link