Improving oracle quality by detecting brittle assertions and unused inputs in tests
Testing Programs with the Aid of a Compiler