{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:52:28Z","timestamp":1725583948726},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/simpar.2016.7862391","type":"proceedings-article","created":{"date-parts":[[2017,2,23]],"date-time":"2017-02-23T19:36:36Z","timestamp":1487878596000},"page":"162-169","source":"Crossref","is-referenced-by-count":3,"title":["Model-based testing of real-time adaptive motion planning (RAMP)"],"prefix":"10.1109","author":[{"given":"Mahmoud","family":"Abdelgawad","sequence":"first","affiliation":[]},{"given":"Sterling","family":"McLeod","sequence":"additional","affiliation":[]},{"given":"Anneliese","family":"Andrews","sequence":"additional","affiliation":[]},{"given":"Jing","family":"Xiao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Active world model for testing autonomous systems using CEFSM","author":"andrews","year":"0","journal-title":"Work on Model-Driven Eng Ver and Val 2015"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1353673.1353681"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.5220\/0004990402870296"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2015.7107407"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/157485.164585","article-title":"automatic functional test generation using the extended finite state machine model","author":"cheng","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/322374.322380"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(84)80014-5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/PCCC.1990.101652"},{"key":"ref18","article-title":"Model-based testing of autonomous systems based on coloured petri nets","author":"lill","year":"0","journal-title":"ARCS Workshops (ARCS 2012"},{"article-title":"Lotos NT user manual","year":"2000","author":"sighireanu","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1660877.1660890"},{"key":"ref3","article-title":"ROS: an open-source robot operating system","author":"quigley","year":"2009","journal-title":"Open-source Software Workshop of (ICRA)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759690"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2008.2003277"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696599"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2003.1249681"},{"key":"ref9","article-title":"Towards world model-based test generation in autonomous systems","author":"andrews","year":"2015","journal-title":"1st Int Conf on Model-Driven Engineering and Software Development"},{"journal-title":"Google C++ Testing Framework","year":"2013","key":"ref20"},{"journal-title":"Model and Sim for Auto Sys Int Work MESAS","year":"2015","author":"paikan","key":"ref21"}],"event":{"name":"2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)","start":{"date-parts":[[2016,12,13]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2016,12,16]]}},"container-title":["2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7858577\/7862346\/07862391.pdf?arnumber=7862391","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T21:18:03Z","timestamp":1568841483000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7862391\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/simpar.2016.7862391","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}