TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Andrés Sánchez, César
AU  - Maag, Stéphane
AU  - Cavalli, Ana
AU  - Núñez García, Manuel
PY  - 2009
DO  - 10.1109/APSEC.2009.37
SN  - 1530-1362
UR  - https://hdl.handle.net/20.500.14352/42203
T2  - APSEC '09 Proceedings of the 2009 16th Asia-Pacific Software Engineering Conference
AB  - In this paper we apply a passive testing methodology to the analysis of a non-trivial system. In our framework, so-called invariants provide us with a formal representation of the requirements of the system. In order to precisely express new...
LA  - eng
M2  - 152
PB  - IEEE Computer Society
KW  - Protocol Testing
KW  - Formal Methods
KW  - Timed Systems
KW  - Passive Testing
KW  - MANET routing protocols.
TI  - Analysis of the OLSR Protocol by Using Formal Passive Testing
TY  - journal article
ER  -