Inspired by ScalaCheck, a testing tool for C#, based on property specifications and automatic test data generation