RWTH Aachen University
In this paper, the authors present an approach to automatically generating operation invariance tests for use with Haskell's random testing framework QuickCheck. The motivation stems from a paper by Holdermans which showed how to address certain shortcomings of straightforward testing of implementations of an abstract datatype. While effective, their solution requires extra generation work from the test engineer. Also, it may not even be doable if the person responsible for testing has no knowledge about, and program-level access to, the internals of the concrete datatype implementation under test.