Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models | IEEE Conference Publication | IEEE Xplore