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

Abstract

Metadata

Authors/Creators:
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,Safety, Risk, Reliability and Quality,Electrical and Electronic Engineering
Dates:
  • 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: 21 Nov 2021 11:25
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:

Download

Filename: MutationTestingNuclear.pdf

Description: MutationTestingNuclearHabli

Share / Export

Statistics