{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:38:05Z","timestamp":1730216285455,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T00:00:00Z","timestamp":1627776000000},"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,8]]},"DOI":"10.1109\/ecmr50962.2021.9568837","type":"proceedings-article","created":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T15:50:55Z","timestamp":1635177055000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation"],"prefix":"10.1109","author":[{"given":"Salman Omar","family":"Sohail","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Mitrevski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nico","family":"Hochgeschwender","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul G.","family":"Ploger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3390\/s19204456"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793740"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917403"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3278186.3278195"},{"key":"ref14","first-page":"453","article-title":"Continuous integration for testing full robotic behaviours in a GUI-stripped simulation","volume":"2245","author":"estivill-castro","year":"2018","journal-title":"Proc CEUR Workshop"},{"key":"ref15","first-page":"107","article-title":"Simulation-Based Temporal Projection of Everyday Robot Object Manipulation","author":"kunze","year":"2011","journal-title":"Proc of the 4th Inter J Conf on Autonomous Agents and Multiagent Systems (AAMAS)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6630817"},{"key":"ref17","first-page":"47","article-title":"CRAMm - Memories for Robots Performing Everyday Manipulation Activities","volume":"3","author":"winkler","year":"2014","journal-title":"Advances in Cognitive Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1186\/s13673-020-00231-z"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40793-2_4"},{"article-title":"Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents","year":"2016","author":"araiza-illan","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989489"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1186\/s40648-019-0132-3"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/263244.263267","article-title":"Property-Based Testing: A New Approach to Testing for Assurance","volume":"22","author":"george","year":"1997","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11900-7_22"},{"key":"ref7","first-page":"1","article-title":"A Systematic Review of Agent-Based Test Case Generation for Regression Testing","volume":"43","author":"arora","year":"2017","journal-title":"Arabian Journal for Science and Engineering"},{"key":"ref2","article-title":"Key challenges and open issues of industrial collaborative robotics","author":"hentout","year":"2018","journal-title":"RO-MAN Workshop on Human-Robot Interaction From Service to Industry"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-71500-7_9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2017.25"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.21105\/joss.01891"},{"key":"ref22","article-title":"ROS: an open-source Robot Operating System","author":"quigley","year":"2009","journal-title":"ICRA Workshop on Open Source Software in Robotics"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793591"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3068769"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341470"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197108"}],"event":{"name":"2021 European Conference on Mobile Robots (ECMR)","start":{"date-parts":[[2021,8,31]]},"location":"Bonn, Germany","end":{"date-parts":[[2021,9,3]]}},"container-title":["2021 European Conference on Mobile Robots (ECMR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9568782\/9568783\/09568837.pdf?arnumber=9568837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T11:47:24Z","timestamp":1652183244000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9568837\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/ecmr50962.2021.9568837","relation":{},"subject":[],"published":{"date-parts":[[2021,8]]}}}