I'd love to see all this integrated with mutation testing, the thing being looked for being that the test input kills the mutant.