Automated, Targeted Testing of Property-Based Testing Predicates. - Tim Nelson; Elijah Rivera; Sam Soucie; Thomas Del Vecchio; John Wrenn; Shriram Krishnamurthi (Art Sci. Eng. Program., 2022)