Using Compiler Optimization Techniques to Detect Equivalent Mutants. - A. Jefferson Offutt; W. M. Craft (Softw. Test. Verification Reliab., 1994)