Manual testing: JUnit, NUnit, TestNG -- poor coverage, clumsy, laborious, error-prone
Automated testing: QuickCheck, ScalaCheck, Functional Java, FsCheck
Automated testing: Correctness verification for smart people