TY  - CHAP
AU  - García Merayo, María De Las Mercedes
AU  - Núñez García, Manuel
AU  - Rodríguez Laguna, Ismael
A4  - Wolter, K
PY  - 2007
DO  - 10.1007/978-3-540-75211-0_8
SN  - 978-3-540-75210-3
UR  - https://hdl.handle.net/20.500.14352/53132
AB  - In this paper we define a formal framework to test implementations that can be represented by the class of finite state machines introduced in [10]. First, we introduce an appropriate notion of test. Next, we provide an algorithm to derive test suites...
LA  - eng
M2  - 97
PB  - SPRINGER-VERLAG BERLIN
KW  - Systems
KW  - Automata
TI  - Testing finite state machines presenting stochastic time and timeouts
TY  - book part
ER  -