TY  - GEN 
AU  - Delgado Pérez, Pedro
AU  - Habli, Ibrahim
AU  - Gregory, Steve
AU  - Alexander, Rob
AU  - Clark, John
AU  - Medina Bulo, María Inmaculada
A4  - Ingeniería Informática
PY  - 2018
SN  - 0018-9529
UR  - http://hdl.handle.net/10498/23183
AB  - For software quality assurance, many safety-critical industries appeal to the use of dynamic testing and structural coverage criteria. However, there are reasons to doubt the adequacy of such practices. Mutation testing has been suggested as an...
LA  - eng
PB  - IEEE
KW  - Coverage criteria
KW  - mutation testing
KW  - nuclear industry
KW  - safety-critical systems
KW  - verification and validation
TI  - Evaluation of Mutation Testing in a Nuclear Industry Case Study
DO  - 10.1109/TR.2018.2864678
ER  -