K. Bhargavan, C. Gunter, I. Lee, O. Sokolsky, M. Kim et al., Verisim: formal analysis of network simulations, IEEE Transactions on Software Engineering, vol.28, issue.2, pp.129-145, 2002.
DOI : 10.1109/32.988495

C. Bourhfir, R. Dssouli, E. Aboulhamid, and N. Rico, A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols, IWTCS'98, 1998.
DOI : 10.1007/978-0-387-35381-4_17

A. Cavalli, B. Defude, C. Rinderknecht, and F. Zadi, A servicecomponent testing method and suitable CORBA architecture, Proceedings of the Sixth IEEE ISCC'01, Tunisia, pp.655-660, 2001.

S. Maag and F. Zadi, Testing methodology for an ad hoc routing protocol, Proceedings of the ACM international workshop on Performance monitoring, measurement, and evaluation of heterogeneous wireless and wired networks , PM2HW2N '06, 2006.
DOI : 10.1145/1163653.1163663

A. C. Viana, S. Maag, and F. Zaidi, One step forward, ACM Computing Surveys, vol.43, issue.2, 2009.
DOI : 10.1145/1883612.1883614
URL : https://hal.archives-ouvertes.fr/inria-00359569

L. Xu, M. Dias, and D. Richardson, Generating regression tests via model checking, Proceedings of COMPSAC'04, 2004.

G. J. Holzmann, The SPIN Model Checker -Primer and Reference Manual, 2004.

D. Beyer, A. Chlipala, T. Henzinger, R. Jhala, and R. Majumdar, Generating tests from counterexamples, Proceedings. 26th International Conference on Software Engineering, 2004.
DOI : 10.1109/ICSE.2004.1317455
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.7971

D. Beyer, T. Henzinger, R. Jhala, and R. Majumdar, The software model checker Blast, International Journal on Software Tools for Technology Transfer, vol.2, issue.4, 2007.
DOI : 10.1007/s10009-007-0044-z

Y. Zheng, J. Zhou, and P. Krause, A Model Checking based Test Case Generation Framework forWeb Services, Fourth International Conference on Information Technology (ITNG'07), 2007.
DOI : 10.1109/ITNG.2007.8

A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri, NuSMV: A New Symbolic Model Verifier, Proceedings of CAV'99, pp.495-499, 1999.
DOI : 10.1007/3-540-48683-6_44

S. Rayadurgam and M. Heimdahl, Generating MC/DC adequate test sequences through model checking, 28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings., 2003.
DOI : 10.1109/SEW.2003.1270730
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.6207

T. Clausen and P. Jacquet, Optimized Link State Routing Protocol (OLSR) -RFC3626, 2003.

R. Gerth, Concise Promela Reference, 1997.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

A. Cavalli, D. Lee, C. Rinderknecht, and F. Zadi, Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services, Proceedings of FORTE/PSTV'99, 1999.
DOI : 10.1007/978-0-387-35578-8_3

D. Lee, K. Sabnani, D. Kristol, and S. Paul, Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach, IEEE Transactions on Communications, 1996.
DOI : 10.1109/26.494307

S. Maag, C. Grepet, and A. Cavalli, A formal validation methodology for MANET routing protocols based on nodes??? self similarity, Computer Communications, vol.31, issue.4, pp.827-841, 2008.
DOI : 10.1016/j.comcom.2007.10.031
URL : https://hal.archives-ouvertes.fr/hal-01354849