TY  - JOUR
AU  - Andrés Sánchez, César
AU  - García Merayo, María De Las Mercedes
AU  - Núñez, M.
PY  - 2012
DO  - 10.1002/stvr.1464
SN  - 0960-0833
UR  - https://hdl.handle.net/20.500.14352/42316
T2  - Software testing verification & reliability
AB  - This paper presents a methodology to perform passive testing of timed systems. In passive testing, the tester does not interact with the implementation under test. On the contrary, execution traces are observed without interfering with the behaviour...
LA  - eng
M2  - 365
PB  - Wiley-Blackwell
KW  - Formal testing
KW  - Passive testing
KW  - Timed systems
KW  - Conformance testing
KW  - Tools for testing
TI  - Formal passive testing of timed systems: theory and tools
TY  - journal article
VL  - 22
ER  -