Automated, Targeted Testing of Property-Based Testing Predicates

Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi. Automated, Targeted Testing of Property-Based Testing Predicates. Programming Journal, 6(2):10, 2022. [doi]

@article{NelsonRSVWK22,
  title = {Automated, Targeted Testing of Property-Based Testing Predicates},
  author = {Tim Nelson and Elijah Rivera and Sam Soucie and Thomas Del Vecchio and John Wrenn and Shriram Krishnamurthi},
  year = {2022},
  doi = {10.22152/programming-journal.org/2022/6/10},
  url = {https://doi.org/10.22152/programming-journal.org/2022/6/10},
  researchr = {https://researchr.org/publication/NelsonRSVWK22},
  cites = {0},
  citedby = {0},
  journal = {Programming Journal},
  volume = {6},
  number = {2},
  pages = {10},
}