1 citations · 1 across the 1 of their papers we have counts for
1 paper
Anthony Vandikas, Kiarash Sotoudeh, Marsha Chechik
Property-based testing (PBT) is a powerful technique for software verification that relies on random input generators and "shrinking" processes to find and minimize counterexamples…