@inproceedings{ade21cb3d1dd4e1aae3e24fab1ae6e4a,
title = "A formal passive testing approach to test a MANET routing protocol",
abstract = "Conformance testing is crucial to the quality and reliability of routing protocols for pervasive communications. Most of the works are devoted to their simulations in order to study their performance in a simulated context without taking into account their formal requirements and specifications. Our work tackles the formal methods to test the conformance of a ad hoc routing protocol (i.e. OLSR) deployed in a real network. A passive testing technique is applied taking into account the OLSR formal specification, formal description of properties and collected traces of the implementation. This approach is complementary to active testing techniques allowing then to reduce the inconclusive verdicts often observed in several experiments.",
author = "Ana Cavalli and Stephane Maag and \{De Oca\}, \{Edgardo Montes\} and Fatiha Zaidi",
year = "2009",
month = jan,
day = "1",
doi = "10.1109/PERCOM.2009.4912874",
language = "English",
isbn = "9781424433049",
series = "7th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2009",
publisher = "IEEE Computer Society",
booktitle = "7th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2009",
note = "7th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2009 ; Conference date: 09-03-2009 Through 13-03-2009",
}