Evaluation of Mutation Testing in a Nuclear Industry Case Study
- Submitting institution
-
University of York
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 59954648
- Type
- D - Journal article
- DOI
-
10.1109/TR.2018.2864678
- Title of journal
- IEEE Transactions on Reliability
- Article number
- 8453820
- First page
- 1406
- Volume
- 67
- Issue
- 4
- ISSN
- 0018-9529
- Open access status
- Compliant
- Month of publication
- September
- Year of publication
- 2018
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
5
- Research group(s)
-
-
- Citation count
- 2
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The study was funded by, and conducted in collaboration with, the UK nuclear industry. It is based on a software-based device developed by a supplier to the UK nuclear industry and is used throughout the industry in a range of safety applications. The study results show that mutation testing has the potential to improve the verification even though the software has already complied with the rigorous requirements of the international safety standard IEC61508.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -