/shrinking-challenge

Comparing shrinking approaches and performance across different PBT libraries

Primary LanguageJava

The Shrinking Challenge

One of the major aspects in which different property-based testing libraries differ is their approach towards shrinking. In this repository I try to collect concrete examples (challenges) for shrinking together with implementations in different frameworks so that one can compare and get a feel for weaknesses and strengths.

Contributing

If you want to contribute

  • New challenges
  • New framework implementations
  • More information about shrinking and its different aspects

...feel free to add a pull request!

What is Shrinking?

tbd

Different Shrinking Approaches

tbd

Challenges

The current challenges were stolen from this repository, which contains the code and data relevant to this paper.

PBT Libraries and Frameworks