TY  - RPRT
TI  - Automated, Targeted Testing of Property-Based Testing Predicates
AU  - Tim Nelson
AU  - Elijah Rivera
AU  - Sam Soucie
AU  - Thomas Del Vecchio
AU  - John Wrenn
AU  - Shriram Krishnamurthi
PY  - 2021
DO  - 10.22152/programming-journal.org/2022/6/10
UR  - https://arxiv.org/abs/2111.10414
ID  - 2111.10414
ER  -