What's interesting is that in practice, theory doesn't quite work.
2/6
Look at the code. Try to find places where a change to one or more lines will break the program but not break the tests.
3/6
4/6
5/6
YMMV. But if it seems interesting, maybe try it.
6/6