publications

2021

1. Value Mutation Testing For SMT Solvers

   Wolff, Dylan

   Proceedings of the ACM on Programming Languages (SRC) 2021

   Bib PDF

   @article{wolff2021vmt,
     bibtex_show = {true},
     title = {Value Mutation Testing For SMT Solvers},
     author = {Wolff, Dylan},
     journal = {Proceedings of the ACM on Programming Languages (SRC)},
     volume = {4},
     issue = {Student Research Competition},
     year = {2021},
     pdf = {poplsrc.pdf},
     publisher = {ACM},
     selected = {true}
   }