why not both?
Correct
Incorrect
Our Program
Possible Tests
Our Program's Types
Valid Program
Invalid Program
Possible Types
A good mix of Types and Tests