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

Bernhard K. Aichernig, Richard Schumi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Search results