Using Relational Problems to Teach Property-Based Testing [pdf]cs.brown.edu2 pointstodsacerdoti5 years ago