A tool makes many small changes (mutants) such as turning >= into >, and runs the tests on each. A mutant that no test catches shows a gap that line coverage cannot show.