{"id":"https://openalex.org/W4387143403","doi":"https://doi.org/10.1109/case56687.2023.10260447","title":"Automated Testing of Standard Conformance for Robots","display_name":"Automated Testing of Standard Conformance for Robots","publication_year":2023,"publication_date":"2023-08-26","ids":{"openalex":"https://openalex.org/W4387143403","doi":"https://doi.org/10.1109/case56687.2023.10260447"},"language":"en","primary_location":{"id":"doi:10.1109/case56687.2023.10260447","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case56687.2023.10260447","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008330346","display_name":"Salman Omar Sohail","orcid":"https://orcid.org/0009-0008-9562-9691"},"institutions":[{"id":"https://openalex.org/I155417937","display_name":"Hochschule Bonn-Rhein-Sieg","ror":"https://ror.org/04m2anh63","country_code":"DE","type":"education","lineage":["https://openalex.org/I155417937"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Salman Omar Sohail","raw_affiliation_strings":["Institute of AI and Autonomous Systems,Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg,Sankt Augustin,Germany","MYBOTSHOP GmbH","Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg, Institute of AI and Autonomous Systems, Sankt Augustin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of AI and Autonomous Systems,Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg,Sankt Augustin,Germany","institution_ids":["https://openalex.org/I155417937"]},{"raw_affiliation_string":"MYBOTSHOP GmbH","institution_ids":[]},{"raw_affiliation_string":"Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg, Institute of AI and Autonomous Systems, Sankt Augustin, Germany","institution_ids":["https://openalex.org/I155417937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090553191","display_name":"Sven Schneider","orcid":"https://orcid.org/0000-0001-9828-618X"},"institutions":[{"id":"https://openalex.org/I155417937","display_name":"Hochschule Bonn-Rhein-Sieg","ror":"https://ror.org/04m2anh63","country_code":"DE","type":"education","lineage":["https://openalex.org/I155417937"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sven Schneider","raw_affiliation_strings":["Institute of AI and Autonomous Systems,Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg,Sankt Augustin,Germany","Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg, Institute of AI and Autonomous Systems, Sankt Augustin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of AI and Autonomous Systems,Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg,Sankt Augustin,Germany","institution_ids":["https://openalex.org/I155417937"]},{"raw_affiliation_string":"Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg, Institute of AI and Autonomous Systems, Sankt Augustin, Germany","institution_ids":["https://openalex.org/I155417937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075287635","display_name":"Nico Hochgeschwender","orcid":"https://orcid.org/0000-0003-1306-7880"},"institutions":[{"id":"https://openalex.org/I155417937","display_name":"Hochschule Bonn-Rhein-Sieg","ror":"https://ror.org/04m2anh63","country_code":"DE","type":"education","lineage":["https://openalex.org/I155417937"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Nico Hochgeschwender","raw_affiliation_strings":["Institute of AI and Autonomous Systems,Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg,Sankt Augustin,Germany","Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg, Institute of AI and Autonomous Systems, Sankt Augustin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of AI and Autonomous Systems,Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg,Sankt Augustin,Germany","institution_ids":["https://openalex.org/I155417937"]},{"raw_affiliation_string":"Dept. of Computer Science, Hochschule Bonn-Rhein-Sieg, Institute of AI and Autonomous Systems, Sankt Augustin, Germany","institution_ids":["https://openalex.org/I155417937"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2038,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59940087,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.843856692314148},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.8373486995697021},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7638756632804871},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6601661443710327},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.5438755750656128},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.47589051723480225},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.45770004391670227},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2865526080131531},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23510649800300598},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.19548550248146057},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.13949525356292725},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12833943963050842},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.10617697238922119},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09416702389717102}],"concepts":[{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.843856692314148},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.8373486995697021},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7638756632804871},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6601661443710327},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.5438755750656128},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.47589051723480225},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45770004391670227},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2865526080131531},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23510649800300598},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.19548550248146057},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.13949525356292725},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12833943963050842},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.10617697238922119},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09416702389717102},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/case56687.2023.10260447","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case56687.2023.10260447","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},{"id":"pmh:oai:pub.h-brs.de:7541","is_oa":false,"landing_page_url":"https://pub.h-brs.de/frontdoor/index/index/docId/7541","pdf_url":null,"source":{"id":"https://openalex.org/S4306400385","display_name":"Publication Server of Bonn-Rhein-Sieg University of Applied Sciences (Bonn-Rhein-Sieg University of Applied Sciences)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I135140700","host_organization_name":"University of Bonn","host_organization_lineage":["https://openalex.org/I135140700"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2023 IEEE 19th International Conference on Automation Science and Engineering (CASE), 26-30 August 2023, Auckland, New Zealand","raw_type":"doc-type:conferenceobject"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4300000071525574,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320324286","display_name":"Bonn-Aachen International Center for Information Technology","ror":"https://ror.org/054zhq066"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W2034801091","https://openalex.org/W2051508205","https://openalex.org/W2167340365","https://openalex.org/W2436748408","https://openalex.org/W2547057562","https://openalex.org/W2606126819","https://openalex.org/W2624823380","https://openalex.org/W2624938388","https://openalex.org/W2805047358","https://openalex.org/W2807803476","https://openalex.org/W2901136733","https://openalex.org/W2945883466","https://openalex.org/W2947735324","https://openalex.org/W2952402617","https://openalex.org/W3003066549","https://openalex.org/W3048116582","https://openalex.org/W3098394944","https://openalex.org/W3116811338","https://openalex.org/W3172452057","https://openalex.org/W3190871316","https://openalex.org/W3210274239","https://openalex.org/W4233152543","https://openalex.org/W4312796117","https://openalex.org/W6718440838","https://openalex.org/W6752217413","https://openalex.org/W6756486208"],"related_works":["https://openalex.org/W2911681873","https://openalex.org/W2899830690","https://openalex.org/W2792623478","https://openalex.org/W2255925291","https://openalex.org/W4387735465","https://openalex.org/W27343765","https://openalex.org/W2555863781","https://openalex.org/W2075956577","https://openalex.org/W3150222403","https://openalex.org/W2908734964"],"abstract_inverted_index":{"Verifying":[0],"that":[1],"robots":[2,21],"conform":[3],"to":[4,18,34,46,62,94,114],"standards":[5,27,77],"is":[6,28],"an":[7,59,70],"essential":[8],"part":[9],"of":[10,26,72,148,150],"any":[11],"responsible":[12],"development":[13],"process.":[14],"A":[15],"common":[16],"technique":[17],"verify":[19,98],"whether":[20,99],"faithfully":[22],"meet":[23],"the":[24,92,127,145,151],"requirements":[25],"testing.":[29],"Unfortunately,":[30],"conformance":[31,65,73,152],"testing":[32,66,147],"is,":[33],"a":[35,38,105,139],"large":[36],"extent,":[37],"manual":[39],"and":[40,81,87],"therefore":[41],"costly":[42],"exercise":[43],"which":[44,111,119],"needs":[45],"be":[47,95,121],"repeated":[48],"for":[49],"every":[50],"robot":[51,63,76,132,140],"under":[52],"test.":[53],"In":[54],"this":[55],"paper,":[56],"we":[57,84,102],"propose":[58],"automated":[60,146],"approach":[61,128,143],"standard":[64],"(RSCT).":[67],"Based":[68],"on":[69],"analysis":[71],"clauses":[74,153],"in":[75,123,138,155],"(e.g.,":[78],"ISO":[79,82,156],"23482\u20131":[80],"10218)":[83],"identify,":[85],"harmonise":[86],"formalise":[88],"high-level":[89],"properties":[90,100],"representing":[91],"assertions":[93],"tested.":[96],"To":[97],"hold,":[101],"put":[103],"forward":[104],"Robot":[106],"Test":[107],"Definition":[108],"Language":[109],"(RTDL)":[110],"enables":[112,144],"developers":[113],"specify":[115],"reusable":[116],"test":[117],"scenarios":[118],"can":[120],"executed":[122],"simulation.":[124],"We":[125],"evaluate":[126],"with":[129],"four":[130],"heterogeneous":[131],"platforms,":[133],"identifying":[134],"previously":[135],"undiscovered":[136],"defects":[137],"driver.":[141],"Our":[142],"40%":[149],"defined":[154],"23482\u20131.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}