An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software. - Richard Baker 006; Ibrahim Habli (IEEE Trans. Software Eng., 2013)