@inproceedings{cde38f44ba7d4d3b84c02fb329e02c5b,
title = "Analysis of the OLSR protocol by using formal passive testing",
abstract = "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 properties in multi-node environments, in this paper we introduce a new kind of invariants. We apply the resulting framework to perform a complete study of a MANET routing protocol: The Optimized Link State Routing protocol.",
keywords = "Formal methods, MANET routing protocols, Passive testing, Protocol testing, Timed systems",
author = "C{\'e}sar Andr{\'e}s and St{\'e}phane Maag and Ana Cavalli and Merayo, \{Mercedes G.\} and Manuel N{\'u}{\~n}ez",
year = "2009",
month = dec,
day = "1",
doi = "10.1109/APSEC.2009.37",
language = "English",
isbn = "9780769539096",
series = "Proceedings - Asia-Pacific Software Engineering Conference, APSEC",
pages = "152--159",
booktitle = "Proceedings - 16th Asia-Pacific Software Engineering Conference, APSEC 2009",
note = "16th Asia-Pacific Software Engineering Conference, APSEC 2009 ; Conference date: 01-12-2009 Through 03-12-2009",
}