Disclaimer: I have no affiliation with QuickCheck. This is simply a case study I did on my own.
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
________________________________________________________________________
