Metamorphic 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