cff-version: 1.2.0
abstract: "<p>This repository contains the <u>data and analyses for research on how property-based testing (PBT) is used in open source repositories.</u> Each directory represents a programming language and testing framework combination that was analysed:</p><ul><li>QuickCheck with Haskell, by Ye Zhao,</li><li>jqwik with Java, by Harald Toth,</li><li>Hypothesis with Python, by David de Koning,</li><li>proptest with Rust, by Antonios Barotsis, and</li><li>quickcheck with Rust, by Max Derbenwick.</li></ul><p>Each directory contains its own README file which explains the dataset in that directory.</p><p><br></p><p>The data was collected from open source repositories on GitHub, chosen by a combination of number of downloads and GitHub stars. It contains metadata of each repository analysed, as well as identified characteristics of each examined property-based test, obtained using open coding. The objective of this data is to understand the actual usage of property-based testing in the real world.</p>"
authors:
  - family-names: Derbenwick
    given-names: Max
  - family-names: Toth
    given-names: Harald
  - family-names: de Koning
    given-names: David
  - family-names: Barotsis
    given-names: Antonios
  - family-names: Zhao
    given-names: Ye
  - family-names: Costea
    given-names: Andreea
    orcid: "https://orcid.org/0000-0002-9089-9392"
  - family-names: Juhošová
    given-names: Sára
    orcid: "https://orcid.org/0009-0003-4000-8023"
title: "Property-Based Testing in the Wild!"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/368f63ab-10fc-4603-a15a-bde25e72e778.v1
license: MIT
date-released: 2025-07-02