Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models.

Bernhard K. Aichernig, Richard Schumi

Browse the full ICST paper archive.