Using Relational Problems to Teach Property-Based Testing

John Wrenn, Tim Nelson, Shriram Krishnamurthi

Context: The success of QuickCheck has led to the development of property-based testing (PBT) libraries for many languages and the process is getting increasing attention. However,…