In this course, you will :
Distinguish between verification and validation describing the key differences between them.
Write automated functional tests for both front-end and back-end code
Measure the fault-finding effectiveness of a functional test suite using mutation testing.
Defend program correctness through the use of formal methods, specifically proof obligations and model checking.