Easy, automatic, specification-based tests
