%0 Generic
%A Derbenwick, Max
%A Toth, Harald
%A de Koning, David
%A Barotsis, Antonios
%A Zhao, Ye
%A Costea, Andreea
%A Juhošová, Sára
%D 2025
%T Property-Based Testing in the Wild!
%U 
%R 10.4121/368f63ab-10fc-4603-a15a-bde25e72e778.v1
%K property-based testing
%K open source software
%K java
%K rust
%K python
%K haskell
%X <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>
%I 4TU.ResearchData