{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:46Z","timestamp":1750221046839,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["PTDC\/CCI-INF\/29583\/2017"],"award-info":[{"award-number":["PTDC\/CCI-INF\/29583\/2017"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["POCI-01-0145-FEDER-029583"],"award-info":[{"award-number":["POCI-01-0145-FEDER-029583"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,11,5]]},"DOI":"10.1145\/3278186.3278195","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T15:28:39Z","timestamp":1540394919000},"page":"56-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Property-based testing for the robot operating system"],"prefix":"10.1145","author":[{"given":"Andr\u00e9","family":"Santos","sequence":"first","affiliation":[{"name":"INESC TEC, Portugal \/ University of Minho, Portugal"}]},{"given":"Alcino","family":"Cunha","sequence":"additional","affiliation":[{"name":"INESC TEC, Portugal \/ University of Minho, Portugal"}]},{"given":"Nuno","family":"Macedo","sequence":"additional","affiliation":[{"name":"INESC TEC, Portugal \/ University of Minho, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Property-Based Testing with External Test-Case Generators. In 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 337\u2013346","author":"Aichernig Bernhard K.","year":"2017","unstructured":"Bernhard K. Aichernig , Silvio Marcovic , and Richard Schumi . 2017 . Property-Based Testing with External Test-Case Generators. In 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 337\u2013346 . Bernhard K. Aichernig, Silvio Marcovic, and Richard Schumi. 2017. Property-Based Testing with External Test-Case Generators. In 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 337\u2013346."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/1159789.1159792"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/978-3-319-11900-7_22"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1109\/ICRA.2011.5980058"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/351240.351266"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/ECMR.2015.7324210"},{"unstructured":"7324210  7324210","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/263244.263267"},{"unstructured":"David R. MacIver. 2018.  David R. MacIver. 2018.","key":"e_1_3_2_1_9_1"},{"unstructured":"Hypothesis 3.57. https:\/\/github.com\/HypothesisWorks\/hypothesis.  Hypothesis 3.57. https:\/\/github.com\/HypothesisWorks\/hypothesis.","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/ICDCSW.2006.103"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/78973.78974"},{"volume-title":"ICRA Workshop on Open Source Software. https:\/\/www. willowgarage.com\/sites\/default\/files\/icraoss09-ROS.pdf","author":"Quigley Morgan","unstructured":"Morgan Quigley , Ken Conley , Brian P. Gerkey , Josh Faust , Tully Foote , Jeremy Leibs , Rob Wheeler , and Andrew Y. Ng . 2009. ROS: An open-source Robot Operating System . In ICRA Workshop on Open Source Software. https:\/\/www. willowgarage.com\/sites\/default\/files\/icraoss09-ROS.pdf Morgan Quigley, Ken Conley, Brian P. Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Y. Ng. 2009. ROS: An open-source Robot Operating System. In ICRA Workshop on Open Source Software. https:\/\/www. willowgarage.com\/sites\/default\/files\/icraoss09-ROS.pdf","key":"e_1_3_2_1_13_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1109\/IROS.2017.8206237"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1109\/IROS.2016.7759661"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ESEC\/FSE '18","name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Lake Buena Vista FL USA"},"container-title":["Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278186.3278195","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3278186.3278195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:44:07Z","timestamp":1750207447000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278186.3278195"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,5]]},"references-count":15,"alternative-id":["10.1145\/3278186.3278195","10.1145\/3278186"],"URL":"https:\/\/doi.org\/10.1145\/3278186.3278195","relation":{},"subject":[],"published":{"date-parts":[[2018,11,5]]},"assertion":[{"value":"2018-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}