Property-Based Testing is a testing style focused on whether software-under-test conforms to the expected input-output specifications by use of random input generation and execution.

Alperen Keles is a 2nd year Computer Science Ph.D. student at University of Maryland, College Park. He graduated from METU Computer Engineering Department in 2021, subsequently worked on various projects involving Property-Based Testing and Formal Verification as part of his Ph.D. research. He founded afetbilgi.com to help disseminate verified information after the Pazarcik Earthquake.