{"id":"https://openalex.org/W4401692110","doi":"https://doi.org/10.1109/tse.2024.3444697","title":"Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems","display_name":"Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems","publication_year":2024,"publication_date":"2024-08-19","ids":{"openalex":"https://openalex.org/W4401692110","doi":"https://doi.org/10.1109/tse.2024.3444697"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2024.3444697","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2024.3444697","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1109/tse.2024.3444697","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059659219","display_name":"Ricardo Caldas","orcid":"https://orcid.org/0000-0001-9997-8487"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["IT","SE"],"is_corresponding":true,"raw_author_name":"Ricardo Caldas","raw_affiliation_strings":["Chalmers University of Technology, G&#x00F6;teborg, Sweden","Gran Sasso Science Institute (GSSI), 67100 L'Aquila, Italy"],"raw_orcid":"https://orcid.org/0000-0001-9997-8487","affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, G&#x00F6;teborg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), 67100 L'Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031230975","display_name":"Juan Antonio Pi\u00f1era Garc\u00eda","orcid":"https://orcid.org/0009-0004-6510-4537"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE","IT"],"is_corresponding":false,"raw_author_name":"Juan Antonio Pi\u00f1era Garc\u00eda","raw_affiliation_strings":["Gran Sasso Science Institute (GSSI), L&#x2019;Aquila, Italy","is with Ruhr University Bochum, 44801 Bochum, Ger-many,"],"raw_orcid":"https://orcid.org/0009-0004-6510-4537","affiliations":[{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), L&#x2019;Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"is with Ruhr University Bochum, 44801 Bochum, Ger-many,","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095777529","display_name":"Matei Schiopu","orcid":null},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["IT","SE"],"is_corresponding":false,"raw_author_name":"Matei Schiopu","raw_affiliation_strings":["Chalmers University of Technology, G&#x00F6;teborg, Sweden","Gran Sasso Science Institute (GSSI), 67100 L'Aquila, Italy"],"raw_orcid":"https://orcid.org/0009-0009-6507-9278","affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, G&#x00F6;teborg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), 67100 L'Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013103539","display_name":"Patrizio Pelliccione","orcid":"https://orcid.org/0000-0002-5438-2281"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE","IT"],"is_corresponding":false,"raw_author_name":"Patrizio Pelliccione","raw_affiliation_strings":["Gran Sasso Science Institute (GSSI), L&#x2019;Aquila, Italy","is with Ruhr University Bochum, 44801 Bochum, Ger-many,"],"raw_orcid":"https://orcid.org/0000-0002-5438-2281","affiliations":[{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), L&#x2019;Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"is with Ruhr University Bochum, 44801 Bochum, Ger-many,","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039374886","display_name":"Gena\u00edna Nunes Rodrigues","orcid":"https://orcid.org/0000-0003-1661-8131"},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]},{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]}],"countries":["BR","IT"],"is_corresponding":false,"raw_author_name":"Gena\u00edna Rodrigues","raw_affiliation_strings":["University of Brasilia, Bras&#x00ED;lia-Federal District, Brazil","Gran Sasso Science Institute (GSSI), 67100 L'Aquila, Italy"],"raw_orcid":"https://orcid.org/0000-0003-1661-8131","affiliations":[{"raw_affiliation_string":"University of Brasilia, Bras&#x00ED;lia-Federal District, Brazil","institution_ids":["https://openalex.org/I150729083"]},{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), 67100 L'Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072456187","display_name":"Thorsten Berger","orcid":"https://orcid.org/0000-0002-3870-5167"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]},{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE","IT"],"is_corresponding":false,"raw_author_name":"Thorsten Berger","raw_affiliation_strings":["Ruhr University Bochum, Bochum, Germany","Gran Sasso Science Institute (GSSI), 67100 L'Aquila, Italy","is with Ruhr University Bochum, 44801 Bochum, Ger-many,"],"raw_orcid":"https://orcid.org/0000-0002-3870-5167","affiliations":[{"raw_affiliation_string":"Ruhr University Bochum, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]},{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), 67100 L'Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"is with Ruhr University Bochum, 44801 Bochum, Ger-many,","institution_ids":["https://openalex.org/I904495901"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5059659219"],"corresponding_institution_ids":["https://openalex.org/I4210150763","https://openalex.org/I66862912"],"apc_list":null,"apc_paid":null,"fwci":8.803,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.98219462,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"50","issue":"10","first_page":"2544","last_page":"2567"},"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.9891999959945679,"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.9891999959945679,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9711999893188477,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.970300018787384,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.8305495977401733},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5522720813751221},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4406709372997284},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43935173749923706},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41407305002212524},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4037955403327942}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8305495977401733},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5522720813751221},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4406709372997284},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43935173749923706},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41407305002212524},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4037955403327942},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2024.3444697","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2024.3444697","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:research.chalmers.se:542744","is_oa":true,"landing_page_url":"https://research.chalmers.se/en/publication/542744","pdf_url":"https://research.chalmers.se/publication/542744/file/542744_Fulltext.pdf","source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1109/tse.2024.3444697","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2024.3444697","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2936799800","display_name":null,"funder_award_id":"313215/2021-9","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G3338836700","display_name":null,"funder_award_id":"04/2021","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G8920261182","display_name":null,"funder_award_id":"04/2021","funder_id":"https://openalex.org/F4320323350","funder_display_name":"Funda\u00e7\u00e3o de Apoio \u00e0 Pesquisa do Distrito Federal"}],"funders":[{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"},{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"},{"id":"https://openalex.org/F4320323350","display_name":"Funda\u00e7\u00e3o de Apoio \u00e0 Pesquisa do Distrito Federal","ror":"https://ror.org/04djvx395"},{"id":"https://openalex.org/F4320328429","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":153,"referenced_works":["https://openalex.org/W38701583","https://openalex.org/W93306303","https://openalex.org/W239652778","https://openalex.org/W1506505546","https://openalex.org/W1525305145","https://openalex.org/W1534401054","https://openalex.org/W1558971024","https://openalex.org/W1566046173","https://openalex.org/W1649977086","https://openalex.org/W1992534129","https://openalex.org/W1999898351","https://openalex.org/W2010472228","https://openalex.org/W2033014924","https://openalex.org/W2066174059","https://openalex.org/W2067363566","https://openalex.org/W2069277353","https://openalex.org/W2106956101","https://openalex.org/W2110156285","https://openalex.org/W2117156760","https://openalex.org/W2145813134","https://openalex.org/W2163659692","https://openalex.org/W2171430142","https://openalex.org/W2279536141","https://openalex.org/W2407790672","https://openalex.org/W2474051135","https://openalex.org/W2593581701","https://openalex.org/W2604843956","https://openalex.org/W2617060708","https://openalex.org/W2618505680","https://openalex.org/W2620076267","https://openalex.org/W2624823380","https://openalex.org/W2761912733","https://openalex.org/W2772946107","https://openalex.org/W2786819761","https://openalex.org/W2787690100","https://openalex.org/W2793210665","https://openalex.org/W2805047358","https://openalex.org/W2806383613","https://openalex.org/W2810970967","https://openalex.org/W2811472820","https://openalex.org/W2898421446","https://openalex.org/W2899532715","https://openalex.org/W2912687289","https://openalex.org/W2928730995","https://openalex.org/W2940630992","https://openalex.org/W2954319412","https://openalex.org/W2955398708","https://openalex.org/W2956191072","https://openalex.org/W2967205579","https://openalex.org/W2967277443","https://openalex.org/W2973204678","https://openalex.org/W2977713273","https://openalex.org/W2978625324","https://openalex.org/W2994567575","https://openalex.org/W3017680360","https://openalex.org/W3033066788","https://openalex.org/W3036758131","https://openalex.org/W3043550678","https://openalex.org/W3048116582","https://openalex.org/W3088372654","https://openalex.org/W3090431070","https://openalex.org/W3090755713","https://openalex.org/W3092396343","https://openalex.org/W3096990961","https://openalex.org/W3099533389","https://openalex.org/W3100344681","https://openalex.org/W3104037525","https://openalex.org/W3105978484","https://openalex.org/W3109937781","https://openalex.org/W3130787872","https://openalex.org/W3139391719","https://openalex.org/W3154465544","https://openalex.org/W3157587805","https://openalex.org/W3164218263","https://openalex.org/W3165275883","https://openalex.org/W3165293486","https://openalex.org/W3172452057","https://openalex.org/W3173699214","https://openalex.org/W3176160541","https://openalex.org/W3178067170","https://openalex.org/W3178210036","https://openalex.org/W3178615740","https://openalex.org/W3181760167","https://openalex.org/W3181847392","https://openalex.org/W3182259309","https://openalex.org/W3184104880","https://openalex.org/W3185716316","https://openalex.org/W3203980564","https://openalex.org/W3205311508","https://openalex.org/W3206750510","https://openalex.org/W3208007721","https://openalex.org/W3217501813","https://openalex.org/W4200235880","https://openalex.org/W4200297943","https://openalex.org/W4200589313","https://openalex.org/W4210496774","https://openalex.org/W4214875801","https://openalex.org/W4233196138","https://openalex.org/W4238213079","https://openalex.org/W4243177274","https://openalex.org/W4251377221","https://openalex.org/W4280579160","https://openalex.org/W4281638806","https://openalex.org/W4281644758","https://openalex.org/W4281652218","https://openalex.org/W4283710409","https://openalex.org/W4285102495","https://openalex.org/W4289256633","https://openalex.org/W4291213652","https://openalex.org/W4291221163","https://openalex.org/W4291722460","https://openalex.org/W4294361758","https://openalex.org/W4297518709","https://openalex.org/W4302010410","https://openalex.org/W4308731476","https://openalex.org/W4310480594","https://openalex.org/W4311922862","https://openalex.org/W4312118912","https://openalex.org/W4312789621","https://openalex.org/W4312796117","https://openalex.org/W4313138862","https://openalex.org/W4313291141","https://openalex.org/W4313410562","https://openalex.org/W4313529328","https://openalex.org/W4317932564","https://openalex.org/W4318053885","https://openalex.org/W4318814749","https://openalex.org/W4366668639","https://openalex.org/W4377971418","https://openalex.org/W4378648031","https://openalex.org/W4382236712","https://openalex.org/W4383172012","https://openalex.org/W4383817234","https://openalex.org/W4384155669","https://openalex.org/W4385269262","https://openalex.org/W4385269273","https://openalex.org/W4386507354","https://openalex.org/W4387364760","https://openalex.org/W4387528166","https://openalex.org/W4393253057","https://openalex.org/W4394769519","https://openalex.org/W4394998982","https://openalex.org/W4400188649","https://openalex.org/W6640216894","https://openalex.org/W6714026258","https://openalex.org/W6752217413","https://openalex.org/W6756894479","https://openalex.org/W6796320065","https://openalex.org/W6839088868","https://openalex.org/W6841285090","https://openalex.org/W6845230758","https://openalex.org/W7052452375","https://openalex.org/W7061877180"],"related_works":["https://openalex.org/W1538854713","https://openalex.org/W4235160909","https://openalex.org/W2041209185","https://openalex.org/W1484021165","https://openalex.org/W3021865842","https://openalex.org/W2196991573","https://openalex.org/W2030935018","https://openalex.org/W1785234853","https://openalex.org/W2356154743","https://openalex.org/W2015573812"],"abstract_inverted_index":{"Robotic":[0],"systems":[1,125,179,259],"are":[2,56,104,167],"becoming":[3],"pervasive":[4],"and":[5,15,32,85,91,109,128,132,150,174,194,205,211,227,235,254,273],"adopted":[6],"in":[7,83,96,140,162,180,237,251,266],"increasingly":[8],"many":[9],"domains,":[10],"such":[11],"as":[12,25,49],"manufacturing,":[13],"healthcare,":[14],"space":[16],"exploration.":[17],"To":[18],"this":[19,62,141],"end,":[20],"engineering":[21,41],"software":[22,40,239],"has":[23,43],"emerged":[24],"a":[26,50,186],"crucial":[27],"discipline":[28],"for":[29,197,225,229,233,257],"building":[30],"maintainable":[31],"reusable":[33],"robotic":[34,198,238],"systems.":[35],"The":[36],"field":[37],"of":[38,176],"robotics":[39,54,178],"research":[42,264],"received":[44],"increasing":[45],"attention,":[46],"fostering":[47],"autonomy":[48],"fundamental":[51],"goal.":[52],"However,":[53,116],"developers":[55,149,226],"still":[57],"challenged":[58],"trying":[59],"to":[60,70,73,81,100,122,126,138,170,246],"achieve":[61],"goal":[63],"given":[64],"that":[65,112,146],"simulation":[66],"is":[67,118],"not":[68],"able":[69],"deliver":[71],"solutions":[72],"realistically":[74],"emulate":[75],"real-world":[76,181],"phenomena.":[77],"Robots":[78],"also":[79],"need":[80],"operate":[82],"unpredictable":[84],"uncontrollable":[86],"environments,":[87],"which":[88],"require":[89],"safe":[90],"trustworthy":[92],"self-adaptation":[93],"capabilities":[94],"implemented":[95],"software.":[97],"Typical":[98],"techniques":[99,111],"address":[101,171],"the":[102,163,172,208,267],"challenges":[103,173,248],"runtime":[105,130,192,252],"verification,":[106],"field-based":[107,133,195,255],"testing,":[108],"mitigation":[110],"enable":[113,127],"fail-safe":[114],"solutions.":[115],"there":[117],"no":[119],"clear":[120],"guidance":[121],"architect":[123],"ROS-based":[124,202,258],"facilitate":[129],"verification":[131,193,253],"testing.":[134],"This":[135],"paper":[136],"aims":[137],"fill":[139],"gap":[142],"by":[143],"providing":[144],"guidelines":[145,166,245],"can":[147],"help":[148],"quality":[151],"assurance":[152],"(QA)":[153],"teams":[154,231],"when":[155],"developing,":[156],"verifying":[157],"or":[158],"testing":[159,177,196,256],"their":[160],"robots":[161],"field.":[164,268],"These":[165],"carefully":[168],"tailored":[169],"requirements":[175],"scenarios.":[182],"We":[183,220],"conducted":[184],"(i)":[185],"literature":[187],"review":[188],"on":[189],"studies":[190],"addressing":[191],"systems,":[199],"(ii)":[200],"mined":[201],"applications":[203],"repositories,":[204],"(iii)":[206],"validated":[207],"applicability,":[209],"clarity,":[210],"usefulness":[212],"via":[213],"two":[214],"questionnaires":[215],"with":[216],"55":[217],"answers":[218],"overall.":[219],"contribute":[221],"20":[222],"guidelines:":[223],"8":[224],"12":[228],"QA":[230],"formulated":[232],"researchers":[234],"practitioners":[236],"engineering.":[240],"Finally,":[241],"we":[242,261],"map":[243],"our":[244],"open":[247],"thus":[249],"far":[250],"and,":[260],"outline":[262],"promising":[263],"directions":[265],"<bold":[269],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[270,277],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Guidelines":[271],"website":[272],"replication":[274],"package:</b>":[275],"<uri":[276],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">https://ros-rvft.github.io</uri>.":[278]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":17},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-26T08:31:28.666265","created_date":"2025-10-10T00:00:00"}