Property-Based Testing: The Past, The Present, and The Future

This year marks the 25th anniversary of QuickCheck, the canonical property-based testing library that has found its way into virtually every programming language in different forms. In these 25 years, the implementers of these new libraries, along with the research community, has made significant advances to Property-Based Testing literature, transformed the way in which we see PBT, and continue to do so. In this talk, I’ll present to you the challenges that have been solved, and the ones that aren’t. I’ll present you with the latest advances that haven’t been incorporated into existing libraries, talk about our work with my collaborators on opening new avenues for the future of property based testing, and share my vision of what the future shall bring to us.

Alperen Keles

https://x.com/Keleesssss

I am currently a Ph.D. student at University of Maryland, College Park advised by Leonidas Lampropoulos. My research focuses on Property-Based Testing, Fuzzing, and Semantics of Documents. I like to write on my personal blog. I also like to play chess, and do the occasional side projects.