A Formal Passive Testing Approach to test a MANET Routing Protocol.

Ana R. Cavalli, Stphane Maag, Edgardo Montes de Oca, Fatiha Zadi

Browse the full PERCOM paper archive.