TY  - JOUR
AU  - Hierons, Robert M.
AU  - García Merayo, Mercedes
AU  - Nuñez García, Manuel
PY  - 2009
SN  - 1567-8326
UR  - https://hdl.handle.net/20.500.14352/43989
T2  - Journal of Logic and Algebraic Programming
AB  - In this paper we present a method for testing a system against a non-deterministic stochastic finite state machine. As usual, we assume that the functional behaviour of the system under test (SUT) is deterministic but we allow the timing to be...
LA  - eng
M2  - 98
PB  - Elsevier
KW  - Software testing
KW  - Stochastic time
KW  - Non-determinism
KW  - Fault model
TI  - Testing from a stochastic timed system with a fault model.
TY  - journal article
VL  - 78
ER  -