An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software

  title={An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software},
  author={Richard Baker and Ibrahim Habli},
  journal={IEEE Transactions on Software Engineering},
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 mandated by safety standards and industry guidelines. Mutation testing provides an alternative or complementary method of measuring test sufficiency, but has not been widely adopted in the safety-critical industry. In this study, we provide an… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 25 extracted citations

Detecting Trivial Mutant Equivalences via Compiler Optimisations

IEEE Transactions on Software Engineering • 2018
View 2 Excerpts

Hybrid Online Model-Based Testing for Communication-Based Train Control Systems

IEEE Intelligent Transportation Systems Magazine • 2018
View 1 Excerpt

Applying Mutation Analysis on Kernel Test Suites: An Experience Report

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) • 2017
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 34 references

A critique of cyclomatic complexity as a software metric

Software Engineering Journal • 1988
View 6 Excerpts
Highly Influenced

An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion

J. J. Chilenski
Report DOT/ FAA/AR-01/18, Office of Aviation Research, Washington, D.C., Apr. 2001. • 2001
View 4 Excerpts
Highly Influenced

Mutation Operators for Ada

A. J. Offutt, J. Voas, J. Payne
Technical Report ISSE-TR-96-09, Information and Software Systems Eng., George Mason Univ., 1996. • 1996
View 4 Excerpts
Highly Influenced

Combining Comprehension and Testing in Object-Oriented Development

T. J. McCabe, A. H. Watson
Object Magazine, vol. 4, pp. 63-64, Mar./Apr. 1994. • 1994
View 9 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…