Publications

Value Mutation Testing for SMT Solvers – Wolff, Dylan
Proceedings of the ACM on Programming Languages (Student Research Competition) 2021
PDF | BIB