{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:40:23Z","timestamp":1730198423273,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T00:00:00Z","timestamp":1625702400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T00:00:00Z","timestamp":1625702400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T00:00:00Z","timestamp":1625702400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,7,8]]},"DOI":"10.1109\/arso51874.2021.9542830","type":"proceedings-article","created":{"date-parts":[[2021,9,28]],"date-time":"2021-09-28T21:57:50Z","timestamp":1632866270000},"page":"234-239","source":"Crossref","is-referenced-by-count":0,"title":["Using Sessions, Episodes and Parameterized Testing in ROSPIT for Constructing Re-Usable Test Specifications"],"prefix":"10.1109","author":[{"given":"Floris","family":"Erich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noriaki","family":"Ando","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2020.00082"},{"key":"ref3","article-title":"ROS: an open-source Robot Operating System","volume":"3","author":"quigley","year":"2009","journal-title":"ICRA Workshop on Open Source Software"},{"journal-title":"BDD in Action Behavior-Driven Development for the Whole Software Lifecycle","year":"2014","author":"smart","key":"ref10"},{"key":"ref6","first-page":"3","article-title":"Reducing the Barrier to Entry of Complex Robotic Software: a Movelt! Case Study","volume":"5","author":"coleman","year":"2014","journal-title":"Journal of Software Engineering for Robotics"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2005.1545521"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_20"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2020.00081"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00020"},{"journal-title":"ROSMonitoring A Runtime Verification Framework for ROS","year":"2020","author":"ferrando","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SII.2019.8700444"}],"event":{"name":"2021 IEEE International Conference on Advanced Robotics and Its Social Impacts (ARSO)","start":{"date-parts":[[2021,7,8]]},"location":"Tokoname, Japan","end":{"date-parts":[[2021,7,10]]}},"container-title":["2021 IEEE International Conference on Advanced Robotics and Its Social Impacts (ARSO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9541544\/9541545\/09542830.pdf?arnumber=9542830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:46:39Z","timestamp":1652197599000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9542830\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,8]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/arso51874.2021.9542830","relation":{},"subject":[],"published":{"date-parts":[[2021,7,8]]}}}