{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:47Z","timestamp":1750307807654,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,21]],"date-time":"2008-07-21T00:00:00Z","timestamp":1216598400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme","doi-asserted-by":"publisher","award":["IST 26979","IST 026764"],"award-info":[{"award-number":["IST 26979","IST 026764"]}],"id":[{"id":"10.13039\/501100004965","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,7,21]]},"DOI":"10.1145\/1401827.1401834","type":"proceedings-article","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T12:38:39Z","timestamp":1219149519000},"page":"29-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Testing mobile computing applications"],"prefix":"10.1145","author":[{"given":"Minh Duc","family":"Nguyen","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Toulouse; Toulouse, France"}]},{"given":"H\u00e9l\u00e8ne","family":"Waeselynck","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse; Toulouse, France"}]},{"given":"Nicolas","family":"Rivi\u00e8re","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse; Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2008,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","article-title":"UML for Global Computing","volume":"2874","author":"Baumeister H.","year":"2003","unstructured":"H. Baumeister , \" UML for Global Computing \", Global Computing, LNCS 2874 , Springer-Verlag, 2003 , pp. 1 -- 24 . H. Baumeister et al., \"UML for Global Computing\", Global Computing, LNCS 2874, Springer-Verlag, 2003, pp. 1--24.","journal-title":"Global Computing, LNCS"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.96"},{"key":"e_1_3_2_1_3_1","first-page":"41","volume-title":"Proc. of the IFIP Int. Conf. FORTE\/PSTV '99","author":"Cavalli A.","year":"1999","unstructured":"A. Cavalli : An algorithm for embedded testing with applications to IN services \", Proc. of the IFIP Int. Conf. FORTE\/PSTV '99 , Elevier , Oct. 1999 , pp. 41 -- 56 . A. Cavalli et al., \"Hit-or-jump: An algorithm for embedded testing with applications to IN services\", Proc. of the IFIP Int. Conf. FORTE\/PSTV '99, Elevier, Oct. 1999, pp. 41--56."},{"key":"e_1_3_2_1_4_1","first-page":"768","volume-title":"Proc. of the 24th Int. Conf. on Distributed Computing Systems Workshops (ICDCSW'04)","author":"Cavalli A.","year":"2004","unstructured":"A. Cavalli A validation Model for the DSR protocol \", Proc. of the 24th Int. Conf. on Distributed Computing Systems Workshops (ICDCSW'04) , IEEE CS Press, Japan , Mar. 2004 , pp. 768 -- 773 . A. Cavalli et al., \"A validation Model for the DSR protocol\", Proc. of the 24th Int. Conf. on Distributed Computing Systems Workshops (ICDCSW'04), IEEE CS Press, Japan, Mar. 2004, pp. 768--773."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646816.708627"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2004.1336415"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/647765.735847"},{"key":"e_1_3_2_1_8_1","first-page":"253","volume-title":"Proc. of the 6th SDL Forum","author":"Grabowski J.","year":"1993","unstructured":"J. Grabowski , D. Hogrefe and R. Nahm , \" Test Case Generation with Test Purpose Specification by MSCs \", Proc. of the 6th SDL Forum , North Holland , Oct. 1993 , pp. 253 -- 166 . J. Grabowski, D. Hogrefe and R. Nahm, \"Test Case Generation with Test Purpose Specification by MSCs\", Proc. of the 6th SDL Forum, North Holland, Oct. 1993, pp. 253--166."},{"key":"e_1_3_2_1_9_1","first-page":"128","volume-title":"LNCS 3273","author":"Grassi V.","year":"2004","unstructured":"V. Grassi , \" A UML Profile to Model Mobile Sytem \", LNCS 3273 , Springer-Verlag , 2004 , pp. 128 -- 142 . V. Grassi et al., \"A UML Profile to Model Mobile Sytem\", LNCS 3273, Springer-Verlag, 2004, pp. 128--142."},{"key":"e_1_3_2_1_10_1","volume-title":"University of Toulouse III","author":"Guennoun M. K.","year":"2006","unstructured":"M. K. Guennoun , \"Architectures Dynamiques dans le Contexte des Applications \u00e0 Base des Composants et Orient\u00e9s Services\", PhD Thesis , University of Toulouse III , France , Dec. 2006 . M. K. Guennoun, \"Architectures Dynamiques dans le Contexte des Applications \u00e0 Base des Composants et Orient\u00e9s Services\", PhD Thesis, University of Toulouse III, France, Dec. 2006."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007529"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2004.14"},{"key":"e_1_3_2_1_13_1","volume-title":"ITU-TS","author":"Z.","year":"1999","unstructured":"Z. 120 ITU-TS Recommendation Z. 120: Message Sequence Chart (MSC) , ITU-TS , Geneva , Sept. 1999 . Z. 120 ITU-TS Recommendation Z. 120: Message Sequence Chart (MSC), ITU-TS, Geneva, Sept. 1999."},{"key":"e_1_3_2_1_14_1","first-page":"135","article-title":"Automated test generation from SDL specifications","author":"Kerbrat A.","year":"1999","unstructured":"A. Kerbrat , \" Automated test generation from SDL specifications \", SDL Forum , 1999 , pp. 135 -- 152 . A. Kerbrat et al., \"Automated test generation from SDL specifications\", SDL Forum, 1999, pp. 135--152.","journal-title":"SDL Forum"},{"key":"e_1_3_2_1_15_1","first-page":"114","volume-title":"Proc. of the IEEE Int. Workshop on Industrial Strength Formal Specication Techniques (WIFT98)","author":"Koch B.","year":"1998","unstructured":"B. Koch A Tool for Automatic Test Generation from SDL Specifications\" , Proc. of the IEEE Int. Workshop on Industrial Strength Formal Specication Techniques (WIFT98) , USA, Oct. 1998 , pp. 114 -- 125 . B. Koch et al., \"Autolink- A Tool for Automatic Test Generation from SDL Specifications\", Proc. of the IEEE Int. Workshop on Industrial Strength Formal Specication Techniques (WIFT98), USA, Oct. 1998, pp. 114--125."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1759394.1759426"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11430230_2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2004.48"},{"key":"e_1_3_2_1_19_1","unstructured":"LIME URL: http:\/\/lime.sourceforge.net  LIME URL: http:\/\/lime.sourceforge.net"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2004.1321028"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CONTEL.2005.185970"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24756-2_26"},{"key":"e_1_3_2_1_23_1","first-page":"155","volume-title":"5th Int. Conf. on ITS Telecommunications (ITST 2005","author":"Schroth C.","year":"2005","unstructured":"C. Schroth the traffic effects of vehicle-to-vehicle messaging systems \", 5th Int. Conf. on ITS Telecommunications (ITST 2005 ), France , June 2005 , pp. 155 -- 179 . C. Schroth et al., \"Simulating the traffic effects of vehicle-to-vehicle messaging systems\", 5th Int. Conf. on ITS Telecommunications (ITST 2005), France, June 2005, pp. 155--179."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.82"},{"key":"e_1_3_2_1_25_1","first-page":"246","volume-title":"Proc. of the 3rd Progress Works. on Embedded Systems","author":"Tretmans G. J.","year":"2002","unstructured":"G. J. Tretmans and H. Brinksma , \" C\u00f4te de Resyste -- Automated Model Based Testing \", Proc. of the 3rd Progress Works. on Embedded Systems , Netherlands , Oct. 2002 , pp. 246 -- 255 . G. J. Tretmans and H. Brinksma, \"C\u00f4te de Resyste -- Automated Model Based Testing\", Proc. of the 3rd Progress Works. on Embedded Systems, Netherlands, Oct. 2002, pp. 246--255."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPDC.2007.37"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","DOI":"10.1002\/0470017317","volume-title":"An Introduction to TTCN-3","author":"Willcock C.","year":"2005","unstructured":"C. Willcock , An Introduction to TTCN-3 , Wiley , 2005 . C. Willcock et al., An Introduction to TTCN-3, Wiley, 2005."}],"event":{"name":"ISSTA '08: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Seattle Washington","acronym":"ISSTA '08"},"container-title":["Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1401827.1401834","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1401827.1401834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:40Z","timestamp":1750255000000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1401827.1401834"}},"subtitle":["toward a scenario language and tools"],"short-title":[],"issued":{"date-parts":[[2008,7,21]]},"references-count":27,"alternative-id":["10.1145\/1401827.1401834","10.1145\/1401827"],"URL":"https:\/\/doi.org\/10.1145\/1401827.1401834","relation":{},"subject":[],"published":{"date-parts":[[2008,7,21]]},"assertion":[{"value":"2008-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}