{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:57Z","timestamp":1740098937979,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661759"},{"type":"electronic","value":"9783319661766"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66176-6_9","type":"book-chapter","created":{"date-parts":[[2017,8,14]],"date-time":"2017-08-14T00:13:02Z","timestamp":1502669582000},"page":"124-138","source":"Crossref","is-referenced-by-count":2,"title":["A Toolset for Mobile Systems Testing"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Andr\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Rivi\u00e8re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00e9l\u00e8ne","family":"Waeselynck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,15]]},"reference":[{"key":"9_CR1","unstructured":"Andre, P.: Test of ubiquitous systems with explicit consideration of mobility. Ph.d. [in french], UPS Toulouse. \nhttps:\/\/tel.archives-ouvertes.fr\/tel-01261593"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-38789-0_8","volume-title":"Dependable Computing","author":"P Andr\u00e9","year":"2013","unstructured":"Andr\u00e9, P., Rivi\u00e8re, N., Waeselynck, H.: GraphSeq revisited: more efficient search for patterns in mobility traces. In: Vieira, M., Cunha, J.C. (eds.) EWDC 2013. LNCS, vol. 7869, pp. 88\u201395. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-38789-0_8"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Andre, P., Waeselynck, H., Riviere, N.: A UML-based environment for test scenarios in mobile settings. In: International Conference on Computer, Information, and Telecommunication Systems (CITS 2013). IEEE (2013)","DOI":"10.1109\/CITS.2013.6705716"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-40042-4_1","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"H Baumeister","year":"2003","unstructured":"Baumeister, H., Koch, N., Kosiuczenko, P., Stevens, P., Wirsing, M.: UML for global computing. In: Priami, C. (ed.) GC 2003. LNCS, vol. 2874, pp. 1\u201324. Springer, Heidelberg (2003). doi:\n10.1007\/978-3-540-40042-4_1"},{"key":"9_CR5","unstructured":"Cavalli, A., Maag, S., de Oca, E.M.: A passive conformance testing approach for a MANET routing protocol. In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC 2009), pp. 207\u2013211, NY, USA (2009). \nhttp:\/\/doi.acm.org\/10.1145\/1529282.1529326"},{"issue":"1","key":"9_CR6","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. Formal Methods Syst. Des. 19(1), 45\u201380 (2001)","journal-title":"Formal Methods Syst. Des."},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-30187-5_10","volume-title":"\u00abUML\u00bb 2004 \u2014 The Unified Modeling Language. Modeling Languages and Applications","author":"V Grassi","year":"2004","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: A UML profile to model mobile systems. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 128\u2013142. Springer, Heidelberg (2004). doi:\n10.1007\/978-3-540-30187-5_10"},{"issue":"2","key":"9_CR8","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/s10270-007-0054-z","volume":"7","author":"D Harel","year":"2008","unstructured":"Harel, D., Maoz, S.: Assert and negate revisited: modal semantics for UML sequence diagrams. Softw. Syst. Model. 7(2), 237\u2013252 (2008)","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"9_CR9","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/TMC.2004.14","volume":"3","author":"Q Huang","year":"2004","unstructured":"Huang, Q., Julien, C., Roman, G.: Relying on safe distance to achieve strong partitionable group membership in ad hoc networks. IEEE Trans. Mobile Comput. 3(2), 192\u2013205 (2004)","journal-title":"IEEE Trans. Mobile Comput."},{"key":"9_CR10","unstructured":"Huszerl, G., Waeselynck, H., Egel, Z., Kovi, A., Micskei, Z., Nguyen, M.D., Pinter, G., Riviere, N.: Refined design and testing framework, methodology and application results, HIDENETS project deliverable D5.3 (2008). \nhttp:\/\/www.hidenets.aau.dk\/"},{"key":"9_CR11","unstructured":"International Telecommunication Union: Message Sequence Chart (MSC), recommendation Z.120 (2011). \nhttp:\/\/www.itu.int\/rec\/T-REC-Z.120"},{"key":"9_CR12","unstructured":"Klose, J.: Live Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior. Ph.D. thesis, Carl von Ossietzky Universitat Oldenburg (2003)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-540-70945-9_4","volume-title":"Agent-Oriented Software Engineering VII","author":"M Kusek","year":"2007","unstructured":"Kusek, M., Jezic, G.: Extending UML sequence diagrams to model agent mobility. In: Padgham, L., Zambonelli, F. (eds.) AOSE 2006. LNCS, vol. 4405, pp. 51\u201363. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-70945-9_4"},{"issue":"2","key":"9_CR14","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.tcs.2005.09.068","volume":"351","author":"J K\u00fcster-Filipe","year":"2006","unstructured":"K\u00fcster-Filipe, J.: Modelling concurrent interactions. Theor. Comput. Sci. 351(2), 203\u2013220 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-642-30947-2_55","volume-title":"Agent and Multi-Agent Systems. Technologies and Applications","author":"Z Micskei","year":"2012","unstructured":"Micskei, Z., Szatm\u00e1ri, Z., Ol\u00e1h, J., Majzik, I.: A concept for testing robustness and safety of the context-aware behaviour of autonomous systems. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS, vol. 7327, pp. 504\u2013513. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-30947-2_55"},{"issue":"4","key":"9_CR16","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s10270-010-0157-9","volume":"10","author":"Z Micskei","year":"2011","unstructured":"Micskei, Z., Waeselynck, H.: The many meanings of UML 2 sequence diagrams: a survey. Softw. Syst. Model. 10(4), 489\u2013514 (2011)","journal-title":"Softw. Syst. Model."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Nguyen, M.D., Waeselynck, H., Riviere, N.: Testing mobile computing applications: toward a scenario language and tools. In: Proceedings of the 2008 International Workshop on Dynamic Analysis (WODA 2008), pp. 29\u201335. ACM (2008)","DOI":"10.1145\/1401827.1401834"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Nguyen, M.D., Waeselynck, H., Riviere, N.: GraphSeq: a graph matching tool for the extraction of mobility patterns. In: 3rd International Conference on Software Testing, Verification and Validation (ICST), pp. 195\u2013204, April 2010","DOI":"10.1109\/ICST.2010.53"},{"key":"9_CR19","unstructured":"Object Management Group: Unified Modeling Language (UML) 2.4.1 Superstructure Specification, formal\/2011-08-06 (2011)"},{"issue":"5","key":"9_CR20","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1016\/S0167-8655(00)00121-5","volume":"22","author":"K Shearer","year":"2001","unstructured":"Shearer, K., Venkatesh, S., Bunke, H.: Video sequence matching via decision tree path following. Pattern Recognit. Lett. 22(5), 479\u2013492 (2001)","journal-title":"Pattern Recognit. Lett."},{"key":"9_CR21","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-29154-8_24","volume-title":"Mobile and Ubiquitous Systems: Computing, Networking, and Services","author":"H Waeselynck","year":"2012","unstructured":"Waeselynck, H., Micskei, Z., Rivi\u00e8re, N., Hamvas, \u00c1., Nitu, I.: TERMOS: a formal language for scenarios in mobile computing systems. In: S\u00e9nac, P., Ott, M., Seneviratne, A. (eds.) MobiQuitous 2010. LNICSSITE, vol. 73, pp. 285\u2013296. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-29154-8_24"}],"container-title":["Lecture Notes in Computer Science","Verification and Evaluation of Computer and Communication Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66176-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,14]],"date-time":"2017-08-14T00:16:35Z","timestamp":1502669795000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66176-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661759","9783319661766"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66176-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}