@hackage / qc-oi-testgenerator

Compile time generation of operation invariance tests for QuickCheck

Latest1.2.0.3

About

Metadata

  • Last updated , by goedderz
  • License BSD-3-Clause
  • Categories Testing

  • Maintained by: haskell@tobias.goedderz.info

  • Lottery factor: 0

Links

Installation

Readme

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.