An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software
IEEE Transactions on Software Engineering
By Richard Baker,Ibrahim Habli
Issue Date:June 2013
Testing provides a primary means for assuring software in safety-critical systems. To demonstrate, particularly to a certification authority, that sufficient testing has been performed, it is necessary to achieve the test coverage levels recommended or man...