{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T00:28:05Z","timestamp":1766449685019,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,10,2]],"date-time":"2006-10-02T00:00:00Z","timestamp":1159747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,10,2]]},"DOI":"10.1145\/1163653.1163663","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"48-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Testing methodology for an ad hoc routing protocol"],"prefix":"10.1145","author":[{"given":"St\u00e9phane","family":"Maag","sequence":"first","affiliation":[{"name":"CNRS SAMOVAR, Evry Cedex"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatiha","family":"Zaidi","sequence":"additional","affiliation":[{"name":"CNRS-Universit\u00e9 Paris-Sud XI, Orsay Cedex"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,10,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Information Technology Open Systems Interconnection Conformance Testing Methodology and Framework- Part 3: Tree and Tabular Combined Notation ISO\/IEC 9646-3 Part 1:Test Realisation ISO\/IEC 9646-4.]]  Information Technology Open Systems Interconnection Conformance Testing Methodology and Framework- Part 3: Tree and Tabular Combined Notation ISO\/IEC 9646-3 Part 1:Test Realisation ISO\/IEC 9646-4.]]"},{"key":"e_1_3_2_1_2_1","volume-title":"http:\/\/www.isi.edu\/nsnam\/ns","author":"The","year":"2004","unstructured":"The network simulator. http:\/\/www.isi.edu\/nsnam\/ns , 2004 .]] The network simulator. http:\/\/www.isi.edu\/nsnam\/ns, 2004.]]"},{"key":"e_1_3_2_1_3_1","volume-title":"http:\/\/www.opnet.com\/products\/modeler\/home.html","author":"The","year":"2005","unstructured":"The opnet modeler. http:\/\/www.opnet.com\/products\/modeler\/home.html , 2005 .]] The opnet modeler. http:\/\/www.opnet.com\/products\/modeler\/home.html, 2005.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-82269-7.50023-X"},{"key":"e_1_3_2_1_5_1","volume-title":"Essays in Honour of C.A.R. Hoare","author":"Classical Mind Roscoe A.W. A","year":"1994","unstructured":"Roscoe A.W. A Classical Mind , Essays in Honour of C.A.R. Hoare , chapter Model-Checking CSP. Prentice Hall , 1994 .]] Roscoe A.W. A Classical Mind, Essays in Honour of C.A.R. Hoare, chapter Model-Checking CSP. Prentice Hall, 1994.]]"},{"key":"e_1_3_2_1_6_1","first-page":"53","volume-title":"Towards a formal framework for interoperability testing","author":"Barbin S.","year":"2001","unstructured":"S. Barbin , L. Tanguy , and C. Viho . Towards a formal framework for interoperability testing . In M. Kim, B. Chin, S. Kang, and D. Lee, editors, 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems , pages 53 -- 68 , August 2001 .]] S. Barbin, L. Tanguy, and C. Viho. Towards a formal framework for interoperability testing. In M. Kim, B. Chin, S. Kang, and D. Lee, editors, 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pages 53--68, August 2001.]]"},{"key":"e_1_3_2_1_7_1","first-page":"169","volume-title":"IFIP TC6\/WG6.1 Fourteenth International Conference on Testing od Communication Systems","author":"Besse C.","year":"2002","unstructured":"C. Besse , A. Cavalli , M. Kim , and F. Za\u00efdi . Automated Generation of Interoperability Testing . In IFIP TC6\/WG6.1 Fourteenth International Conference on Testing od Communication Systems , pages 169 -- 184 , Berlin, march 2002 . Kluwer Academic .]] C. Besse, A. Cavalli, M. Kim, and F. Za\u00efdi. Automated Generation of Interoperability Testing. In IFIP TC6\/WG6.1 Fourteenth International Conference on Testing od Communication Systems, pages 169--184, Berlin, march 2002. Kluwer Academic.]]"},{"key":"e_1_3_2_1_8_1","volume-title":"2nd International Information and Telecommunications TEchnologies Symposium, I2TS'2003","author":"Cavalli A.","year":"2003","unstructured":"A. Cavalli , A. Mederreg , and F. Za\u00efdi . Application of formal testing methodology to wireless telephony networks . In 2nd International Information and Telecommunications TEchnologies Symposium, I2TS'2003 , Florianopolis, Brazil, october 2003 .]] A. Cavalli, A. Mederreg, and F. Za\u00efdi. Application of formal testing methodology to wireless telephony networks. In 2nd International Information and Telecommunications TEchnologies Symposium, I2TS'2003, Florianopolis, Brazil, october 2003.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24704-3_2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/978-0-387-35578-8_3","volume-title":"Formal Methods for Protocol Engineering And Distributed Systems","author":"Cavalli Ana","year":"1999","unstructured":"Ana Cavalli , David Lee , Christian Rinderknecht , and Fatiha Za\u00efdi . Hit-or-Jump: An Algorithm for Embedded Testing with Applications to IN Services . In Formal Methods for Protocol Engineering And Distributed Systems , pages 41 -- 56 , P\u00e9kin, Chine, October 1999 . Kluwer Academic .]] Ana Cavalli, David Lee, Christian Rinderknecht, and Fatiha Za\u00efdi. Hit-or-Jump: An Algorithm for Embedded Testing with Applications to IN Services. In Formal Methods for Protocol Engineering And Distributed Systems, pages 41--56, P\u00e9kin, Chine, October 1999. Kluwer Academic.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MELCON.2004.1348275"},{"key":"e_1_3_2_1_12_1","unstructured":"O. Dubuisson. ASN.1. Springer 1999.]]  O. Dubuisson. ASN.1. Springer 1999.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.347833"},{"key":"e_1_3_2_1_14_1","volume-title":"Design and validation of computer protocols","author":"Holzmann G.J.","year":"1991","unstructured":"G.J. Holzmann . Design and validation of computer protocols . Prentice-Hall Inc , 1991 .]] G.J. Holzmann. Design and validation of computer protocols. Prentice-Hall Inc, 1991.]]"},{"key":"e_1_3_2_1_15_1","volume-title":"SPIN Model Checker","author":"Holzmann G.J.","year":"2003","unstructured":"G.J. Holzmann . SPIN Model Checker . Addison-Wesley , 2003 .]] G.J. Holzmann. SPIN Model Checker. Addison-Wesley, 2003.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.07.009"},{"key":"e_1_3_2_1_17_1","volume-title":"ITU-T","author":"ITU-T.","year":"1999","unstructured":"ITU-T. Recommandation Z.100 : CCITT Specification and Description Language (SDL). Technical report , ITU-T , 1999 .]] ITU-T. Recommandation Z.100: CCITT Specification and Description Language (SDL). Technical report, ITU-T, 1999.]]"},{"key":"e_1_3_2_1_18_1","volume-title":"Formal verification of standards for distance vector routing protocols. Technical report","author":"Bhargavan","year":"1999","unstructured":"Bhargavan K., Obradovic D., and Gunter G . Formal verification of standards for distance vector routing protocols. Technical report , University of Pennsylvania , 1999 .]] Bhargavan K., Obradovic D., and Gunter G. Formal verification of standards for distance vector routing protocols. Technical report, University of Pennsylvania, 1999.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","DOI":"10.1002\/0470014156","volume-title":"Validation of Telecom Systems with SDL","author":"Doldi","year":"2003","unstructured":"Doldi L. Validation of Telecom Systems with SDL . John Wiley and Sons , May 2003 .]] Doldi L. Validation of Telecom Systems with SDL. John Wiley and Sons, May 2003.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"e_1_3_2_1_21_1","first-page":"1351","volume-title":"Proceedings of 2002 WSEAS International Conference on System Science","author":"Okun Vadim","year":"2002","unstructured":"Vadim Okun , Paul E. Black , and Yaacov Yesha . Testing with model checker: Insuring fault visibility . In Proceedings of 2002 WSEAS International Conference on System Science , pages 1351 -- 1356 , Rio de Janeiro, Brazil , October 2002 .]] Vadim Okun, Paul E. Black, and Yaacov Yesha. Testing with model checker: Insuring fault visibility. In Proceedings of 2002 WSEAS International Conference on System Science, pages 1351--1356, Rio de Janeiro, Brazil, October 2002.]]"},{"key":"e_1_3_2_1_22_1","volume-title":"RFC","author":"Bradner S.","year":"1997","unstructured":"S. Bradner . Key words for use in RFCs to Indicate Requirement Levels. IETF - BCP 14 , RFC 2119, March 1997 .]] S. Bradner. Key words for use in RFCs to Indicate Requirement Levels. IETF - BCP 14, RFC 2119, March 1997.]]"},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. of IEEE Wireless Communications and Networking Conf. (WCNC)","author":"Lin","year":"2003","unstructured":"Lin T., Midkiff S., and Park J . A framework for wireless ad hoc routing protocols . In Proc. of IEEE Wireless Communications and Networking Conf. (WCNC) , 2003 .]] Lin T., Midkiff S., and Park J. A framework for wireless ad hoc routing protocols. In Proc. of IEEE Wireless Communications and Networking Conf. (WCNC), 2003.]]"},{"key":"e_1_3_2_1_24_1","volume-title":"October","author":"Clausen T.","year":"2003","unstructured":"T. Clausen and P. Jacquet . Optimized Link State Routing Protocol (OLSR) - RFC3626. INRIA, ietf edition , October 2003 .]] T. Clausen and P. Jacquet. Optimized Link State Routing Protocol (OLSR) - RFC3626. INRIA, ietf edition, October 2003.]]"},{"key":"e_1_3_2_1_25_1","volume-title":"Formal description and analysis of a distributed location service for mobile ad hoc networks. Technical report","author":"Gu Gl\u00e4sser","year":"2003","unstructured":"Gl\u00e4sser U. and Q-P. Gu . Formal description and analysis of a distributed location service for mobile ad hoc networks. Technical report , Fraser University , 2003 .]] Gl\u00e4sser U. and Q-P. Gu. Formal description and analysis of a distributed location service for mobile ad hoc networks. Technical report, Fraser University, 2003.]]"},{"key":"e_1_3_2_1_26_1","first-page":"115","volume-title":"Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker, ENST 98 S 002","author":"de Vries R.G.","year":"1998","unstructured":"R.G. de Vries and J. Tretmans . On-the-fly conformance testing using spin . In Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker, ENST 98 S 002 , pages 115 -- 128 , Paris, France , November 2, 1998 .]] R.G. de Vries and J. Tretmans. On-the-fly conformance testing using spin. In Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker, ENST 98 S 002, pages 115--128, Paris, France, November 2, 1998.]]"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_12"}],"event":{"name":"MSWiM06: 9th International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems 2006","sponsor":["ACM Association for Computing Machinery","SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Terromolinos Spain","acronym":"MSWiM06"},"container-title":["Proceedings of the ACM international workshop on Performance monitoring, measurement, and evaluation of heterogeneous wireless and wired networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1163653.1163663","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1163653.1163663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:19:03Z","timestamp":1750263543000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1163653.1163663"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,2]]},"references-count":27,"alternative-id":["10.1145\/1163653.1163663","10.1145\/1163653"],"URL":"https:\/\/doi.org\/10.1145\/1163653.1163663","relation":{},"subject":[],"published":{"date-parts":[[2006,10,2]]},"assertion":[{"value":"2006-10-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}