ICSE 2024★ Distinguished Paper

Property-Based Testing in Practice

Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head

Abstract

Property-based testing (PBT) is a testing methodology where users write executable formal specifications of software components and an automated harness checks these specifications against many automatically generated inputs. From its roots in the QuickCheck library in Haskell, PBT has made significant inroads in mainstream languages and industrial practice at companies such as Amazon, Volvo, and Stripe. As PBT extends its reach, it is important to understand how developers are using it in practice, where they see its strengths and weaknesses, and what innovations are needed to make it more effective.

BibTeX

@inproceedings{Goldstein-al:ICSE24,
  author    = {Harrison Goldstein and
               Joseph W. Cutler and
               Daniel Dickstein and
               Benjamin C. Pierce and
               Andrew Head},
  title     = {{Property-Based} Testing in Practice},
  booktitle = {ICSE},
  pages     = {187:1--187:13},
  publisher = {{ACM}},
  year      = {2024},
}

Property-Based Testing in Practice

Abstract

Related papers