Property-Based Testing in the Wild!

This repository contains the data and analyses for research on how property-based testing (PBT) is used in open source repositories. Each directory represents a programming language and testing framework combination that was analysed:QuickCheck with Haskell, by Ye Zhao,jqwik with Java, by Harald Toth,Hypothesis with Python, by David de Koning,proptest with Rust, by Antonios Barotsis, andquickcheck with Rust, by Max Derbenwick.Each directory contains its own README file which explains the dataset in that directory.<br>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.