Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations Git Gud with Property-Based Testing

Git Gud with Property-Based Testing



Katie Cleary describes her experience in applying Property-based Testing to the code in order to exercise functions, but also in using it for testing at the integration level. Cleary used both methods as a way to find casting and overflow bugs in PolySync’s Open Source Car Control (OSCC) project.


Katie Cleary is a Software Engineer at PolySync. She leverages skepticism into the rigorous application of testing and test automation for autonomous vehicle software & development tools. She’s leaned into Property-based Testing as a way to sniff out both the subtle-and sometimes overt-critical bugs in a system before potentially serious problems arise.

About the conference

Software is changing the world. QCon empowers software development by facilitating the spread of knowledge and innovation in the developer community. A practitioner-driven conference, QCon is designed for technical team leads, architects, engineering directors, and project managers who influence innovation in their teams.

Recorded at:

Sep 24, 2018