{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:22:58Z","timestamp":1762917778396,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"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":[[2016,7]]},"DOI":"10.1145\/3022099.3022102","type":"proceedings-article","created":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T12:34:59Z","timestamp":1490013299000},"page":"17-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration"],"prefix":"10.1145","author":[{"given":"Francesca","family":"Saglietti","sequence":"first","affiliation":[{"name":"University of Erlangen-Nuremberg, Erlangen, Germany"}]},{"given":"Matthias","family":"Meitner","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Erlangen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2016,7]]},"reference":[{"volume-title":"Proc. 19th World Congress on Intelligent Transportation Systems.","author":"Bergenhem C.","key":"e_1_3_2_1_1_1","unstructured":"Bergenhem , C. , Shladover , S. and Coelingh , E . 2012. Overview of Platooning Systems . Proc. 19th World Congress on Intelligent Transportation Systems. Bergenhem, C., Shladover, S. and Coelingh, E. 2012. Overview of Platooning Systems. Proc. 19th World Congress on Intelligent Transportation Systems."},{"volume-title":"Proc. 2nd International Symposium on Information Engineering and Electronic Commerce, IEEE.","author":"Cai L.","key":"e_1_3_2_1_2_1","unstructured":"Cai , L. , Zhang , J. and Liu , Z . 2010. Generating Test Cases Using Colored Petri Net . Proc. 2nd International Symposium on Information Engineering and Electronic Commerce, IEEE. Cai, L., Zhang, J. and Liu, Z. 2010. Generating Test Cases Using Colored Petri Net. Proc. 2nd International Symposium on Information Engineering and Electronic Commerce, IEEE."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Jensen K. and Kristensen L.M. 2009. Coloured Petri Nets. Springer. Jensen K. and Kristensen L.M. 2009. Coloured Petri Nets. Springer.","DOI":"10.1007\/b95112"},{"volume-title":"SAFECOMP Workshop on Dependable Embedded and Cyber-physical Systems, HAL open access archive, LAASCNRS.","author":"Lill R.","key":"e_1_3_2_1_4_1","unstructured":"Lill , R. and Saglietti , F . 2013. Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets . SAFECOMP Workshop on Dependable Embedded and Cyber-physical Systems, HAL open access archive, LAASCNRS. Lill, R. and Saglietti, F. 2013. Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets. SAFECOMP Workshop on Dependable Embedded and Cyber-physical Systems, HAL open access archive, LAASCNRS."},{"volume-title":"Proc. 9th International Conference on Software Engineering and Applications, Scitepress Digital Library.","author":"Lill R.","key":"e_1_3_2_1_5_1","unstructured":"Lill , R. and Saglietti , F . 2014. Testing the Cooperation of Autonomous Robotic Agents . Proc. 9th International Conference on Software Engineering and Applications, Scitepress Digital Library. Lill, R. and Saglietti, F. 2014. Testing the Cooperation of Autonomous Robotic Agents. Proc. 9th International Conference on Software Engineering and Applications, Scitepress Digital Library."},{"volume-title":"An Introduction to Genetic Algorithms","author":"Mitchell M.","key":"e_1_3_2_1_6_1","unstructured":"Mitchell , M. 1996. An Introduction to Genetic Algorithms . MIT Press . Mitchell, M. 1996. An Introduction to Genetic Algorithms. MIT Press."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"volume-title":"Scientific Methods in Mobile Robotics","author":"Nehmzow U.","key":"e_1_3_2_1_8_1","unstructured":"Nehmzow , U. 2006. Scientific Methods in Mobile Robotics . Springer . Nehmzow, U. 2006. Scientific Methods in Mobile Robotics. Springer."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Saglietti F. Winzinger S. and Lill R . 2015 . Reconfiguration Testing for Cooperative Autonomous Agents. SAFECOMP 2015 Workshops Lecture Notes in Computer Science Vol. LNCS 9338 Springer . Saglietti F. Winzinger S. and Lill R. 2015. Reconfiguration Testing for Cooperative Autonomous Agents. SAFECOMP 2015 Workshops Lecture Notes in Computer Science Vol. LNCS 9338 Springer.","DOI":"10.1007\/978-3-319-24249-1_13"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2015.68"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Saglietti F. Spengler R. and Meitner M . 2016 . Quantitative Reliability Assessment for Mobile Cooperative Systems. SAFECOMP 2016 Workshops Lecture Notes in Computer Science Vol. 9923 Springer . Saglietti F. Spengler R. and Meitner M. 2016. Quantitative Reliability Assessment for Mobile Cooperative Systems. SAFECOMP 2016 Workshops Lecture Notes in Computer Science Vol. 9923 Springer.","DOI":"10.1007\/978-3-319-45480-1_10"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"St\u00f6rmer H. 1983. Mathematische Theorie der Zuverl\u00e4ssigkeit Oldenbourg. St\u00f6rmer H. 1983. Mathematische Theorie der Zuverl\u00e4ssigkeit Oldenbourg.","DOI":"10.1515\/9783112735176"},{"key":"e_1_3_2_1_13_1","unstructured":"Weicker K. 2007. Evolution\u00e4re Algorithmen. Vieweg & Teubner. Weicker K. 2007. Evolution\u00e4re Algorithmen. Vieweg & Teubner."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2005.37"}],"event":{"name":"MORSE '16: Model-Driven Robot Software Engineering","acronym":"MORSE '16","location":"Leipzig Germany"},"container-title":["Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3022099.3022102","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3022099.3022102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:54Z","timestamp":1750220634000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3022099.3022102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":14,"alternative-id":["10.1145\/3022099.3022102","10.1145\/3022099"],"URL":"https:\/\/doi.org\/10.1145\/3022099.3022102","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]},"assertion":[{"value":"2016-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}