Week 7: Tests that notice a fault
First session (lecture)
A surviving mutant is a gap in the tests; a property and its shrunk counterexample; an agent that weakens a test to pass it.
Second session
Studio on your project's tests.
Due
Project alpha and task backlog
Materials
The current lesson materials are available below. Generate first, then verify the result.