TY  - RPRT
TI  - Using Relational Problems to Teach Property-Based Testing
AU  - John Wrenn
AU  - Tim Nelson
AU  - Shriram Krishnamurthi
PY  - 2020
DO  - 10.22152/programming-journal.org/2021/5/9
UR  - https://arxiv.org/abs/2010.16305
ID  - 2010.16305
ER  -