Plus, there are systems like quickcheck that can greatly simplify the act of writing tests.