Introduction to Property-Based Testing

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.

Wednesday, April 19, 2023
18:00 - 19:00
Africa/Abidjan
Online