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

Bernhard K. Aichernig Richard Schumi

Published in: ICST Workshops (2016)

Keyphrases

business rules
neural network
topological properties
database
databases
machine learning
probabilistic model
key properties
computational intelligence
monotonicity property