{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T21:55:06Z","timestamp":1777499706738,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":25,"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:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/K006223\/1,EP\/K006320\/1"],"award-info":[{"award-number":["EP\/K006223\/1,EP\/K006320\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1145\/3022099.3022101","type":"proceedings-article","created":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T12:34:59Z","timestamp":1490013299000},"page":"9-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions"],"prefix":"10.1145","author":[{"given":"Dejanira","family":"Araiza-Illan","sequence":"first","affiliation":[{"name":"Dept. of Computer Science, University of Bristol, Bristol, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony G.","family":"Pipe","sequence":"additional","affiliation":[{"name":"Robotics Laboratory University of the West of England, Bristol, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kerstin","family":"Eder","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, University of Bristol, Bristol, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Department of Computer Science","author":"Alexander R.","year":"2015","unstructured":"R. Alexander , H. Hawkins , and D. Rae . Situation Coverage -- A Coverage Criterion for Testing Autonomous Robots. Technical report , Department of Computer Science , University of York , 2015 . R. Alexander, H. Hawkins, and D. Rae. Situation Coverage -- A Coverage Criterion for Testing Autonomous Robots. Technical report, Department of Computer Science, University of York, 2015."},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"Proc. HVC","author":"Araiza-Illan D.","year":"2015","unstructured":"D. Araiza-Illan , D. Western , K. Eder , and A. Pipe . Coverage-driven verification -- an approach to verify code for robots that directly interact with humans . In Proc. HVC , pages 1 -- 16 , 2015 . D. Araiza-Illan, D. Western, K. Eder, and A. Pipe. Coverage-driven verification -- an approach to verify code for robots that directly interact with humans. In Proc. HVC, pages 1--16, 2015."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40379-3_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2010.16"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1717752.1717758"},{"key":"e_1_3_2_1_6_1","volume-title":"Programming Multi-Agent Systems in AgentSpeak using Jason","author":"Bordini R.","year":"2007","unstructured":"R. Bordini , J. H\u00fcbner , and M. Wooldridge . Programming Multi-Agent Systems in AgentSpeak using Jason . Wiley , 2007 . R. Bordini, J. H\u00fcbner, and M. Wooldridge. Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, 2007."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.938836"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.70"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0168-9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROMAN.2014.6926328"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. TestCom\/FATES","author":"Ernits J.","year":"2008","unstructured":"J. Ernits , M. Veanes , and J. Helander . Model-based testing of robots with NModel . In Proc. TestCom\/FATES , 2008 . J. Ernits, M. Veanes, and J. Helander. Model-based testing of robots with NModel. In Proc. TestCom\/FATES, 2008."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2075545.2075546"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.proeng.2012.06.440"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2071356.2071363"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818821"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364906072513"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICHR.2010.5686319"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. SAFECOMP\/ DECS","author":"Lill R.","year":"2013","unstructured":"R. Lill and F. Saglietti . Model-based testing of cooperating robotic systems using Coloured Petri Nets . In Proc. SAFECOMP\/ DECS , 2013 . R. Lill and F. Saglietti. Model-based testing of cooperating robotic systems using Coloured Petri Nets. In Proc. SAFECOMP\/ DECS, 2013."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.09.009"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. ISSRE","author":"Namin A.","year":"2010","unstructured":"A. Namin , B. Millet , and M. Sridharan . Stochastic model-based testing for human-robot interaction . In Proc. ISSRE , 2010 . A. Namin, B. Millet, and M. Sridharan. Stochastic model-based testing for human-robot interaction. In Proc. ISSRE, 2010."},{"issue":"5","key":"e_1_3_2_1_22_1","first-page":"4718","article-title":"Improving model based testing using event consideration for various designs concepts","volume":"6","author":"Pare N.","year":"2015","unstructured":"N. Pare and P. Soni . Improving model based testing using event consideration for various designs concepts . IJCSIT , 6 ( 5 ): 4718 -- 4723 , 2015 . N. Pare and P. Soni. Improving model based testing using event consideration for various designs concepts. IJCSIT, 6(5):4718--4723, 2015.","journal-title":"IJCSIT"},{"key":"e_1_3_2_1_23_1","volume-title":"Reinforcement Learning: An Introduction","author":"Sutton R.","year":"1998","unstructured":"R. Sutton and A. Barto . Reinforcement Learning: An Introduction . The MIT Press , 1998 . R. Sutton and A. Barto. Reinforcement Learning: An Introduction. The MIT Press, 1998."},{"key":"e_1_3_2_1_24_1","first-page":"487","volume-title":"Proc. IRI","author":"Tan L.","year":"2004","unstructured":"L. Tan , J. Kim , O. Sokolsky , and I. Lee . Model-based testing and monitoring for hybrid embedded systems . In Proc. IRI , pages 487 -- 492 , 2004 . L. Tan, J. Kim, O. Sokolsky, and I. Lee. Model-based testing and monitoring for hybrid embedded systems. In Proc. IRI, pages 487--492, 2004."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_16"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2007.136"}],"event":{"name":"MORSE '16: Model-Driven Robot Software Engineering","location":"Leipzig Germany","acronym":"MORSE '16"},"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.3022101","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3022099.3022101","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.3022101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":25,"alternative-id":["10.1145\/3022099.3022101","10.1145\/3022099"],"URL":"https:\/\/doi.org\/10.1145\/3022099.3022101","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"}}]}}