Property-based testing

[Google Scholar] [Wikipedia]

Notes: unit tests, fuzz-testing
Papers: claessen:icfp:2000

Unit tests