TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Hierons, Robert M.
PY  - 2009
DO  - 10.1016/j.jss.2009.06.030
SN  - 0164-1212
UR  - https://hdl.handle.net/20.500.14352/42192
T2  - Journal of Systems and Software
AB  - Specification mutation involves mutating a specification, and for each mutation a test is derived that distinguishes the behaviours of the mutated and original specifications. This approach has been applied with finite state machine based models. This...
LA  - eng
M2  - 1804
PB  - Elsevier
KW  - Mutation testing
KW  - Probabilities
KW  - Stochastic time
KW  - Specification mutation
KW  - Test selection
KW  - Algebraic-Theory
KW  - Model checking
KW  - Automata
KW  - Systems
KW  - Time
KW  - Bisimulation
KW  - Equivalences
TI  - Mutation testing from probabilistic and stochastic finite state machines.
TY  - journal article
VL  - 82
ER  -