Joint work with Elijah Rivera Jack Wrenn Tim Nelson and others. Four undergrads across three universities were involved in making this paper. None, we hope, were harmed (-:. Thanks to Sam Tobin-Hochstadt for introducing us to co-author Sam Soucie!

Property-based testing is an important upcoming topic in software reliability, but it gets no attention in computing education. We've been trying to fix that. This blog post summarizes our work and points to a recent paper with lots more detail. »
blog.brownplt.org/2021/01/10/pro…