TY - DATA
T1 - Property-Based Testing in the Wild!
PY - 2025/07/02
AU - Max Derbenwick
AU - Harald Toth
AU - David de Koning
AU - Antonios Barotsis
AU - Ye Zhao
AU - Andreea Costea
AU - Sára Juhošová
UR - 
DO - 10.4121/368f63ab-10fc-4603-a15a-bde25e72e778.v1
KW - property-based testing
KW - open source software
KW - java
KW - rust
KW - python
KW - haskell
N2 - <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>
ER -