Human-Centered Property-Based Testing: A PhD Dissertation
2025-01-06
This PhD dissertation focuses on improving the usability of Property-Based Testing (PBT) to reach a wider audience of developers. Through in-depth user studies, the researcher identified challenges PBT users face in random data generation and evaluating test effectiveness. To address these, the dissertation proposes novel algorithms for improved random data generators and develops Tyche, an open-source tool that provides developers with deeper insights into PBT and enhances its usability, ultimately leading to better software quality and assurance.
Read more