Evaluation of Mutation Testing in a Nuclear Industry Case Study

Delgado-Pérez, Pedro, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Gregory, Steve et al. (3 more authors) (2018) Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Transactions on Reliability. 8453820. pp. 1406-1419. ISSN 0018-9529



Copyright, Publisher and Additional Information: © IEEE, 2018. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Keywords: Mutation Testing, safety-critical embedded systems, COVERAGE, VERIFICATION, NUCLEAR, safety-critical systems, Coverage criteria, mutation testing, verification and validation, nuclear industry
  • Accepted: 5 August 2018
  • Published (online): 3 September 2018
  • Published: December 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 08 Aug 2018 07:50
Last Modified: 27 Jul 2023 23:41
Published Version: https://doi.org/10.1109/TR.2018.2864678
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1109/TR.2018.2864678
Related URLs:


Filename: MutationTestingNuclear.pdf

Description: MutationTestingNuclearHabli