TY  - CHAP
AU  - García Merayo, María De Las Mercedes
AU  - Andrés Sánchez, César
AU  - Núñez García, Manuel
A4  - Cha, S
A4  - Choi, JY
A4  - Kim, M
A4  - Lee, I
A4  - Viswanathan, M
PY  - 2008
DO  - 10.1007/978-3-540-88387-6_36
SN  - 978-3-540-88386-9
UR  - https://hdl.handle.net/20.500.14352/53125
AB  - This paper presents a methodology to perform passive testing based on invariants for systems that present temporal restrictions. Invariants represent the mostrelevant expected properties of the implementation under test. Intuitively, an invariant...
LA  - eng
M2  - 418
PB  - SPRINGER-VERLAG BERLIN
KW  - Computer Science
KW  - Theory & Methods
TI  - Passive Testing of Timed Systems
TY  - book part
ER  -