Compile time generation of operation invariance tests for QuickCheck http://www.iai.uni-bonn.de/~jv/GV14.html
|Latest on Hackage:||18.104.22.168|
This package generates operation invariance tests for QuickCheck from equation-based, QuickCheck-like properties at compile time. It implements the approach from the paper "Automatic Testing of Operation Invariance" presented at WFLP'14. The paper can be downloaded at http://www.iai.uni-bonn.de/~jv/GV14.html.