{"id":"https://openalex.org/W4411450193","doi":"https://doi.org/10.1145/3715748","title":"ROSCallBaX: Statically Detecting Inconsistencies in Callback Function Setup of Robotic Systems","display_name":"ROSCallBaX: Statically Detecting Inconsistencies in Callback Function Setup of Robotic Systems","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W4411450193","doi":"https://doi.org/10.1145/3715748"},"language":"en","primary_location":{"id":"doi:10.1145/3715748","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715748","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM 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.1145/3715748","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034431418","display_name":"Sayali Kate","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sayali Kate","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"raw_orcid":"https://orcid.org/0009-0008-3239-4426","affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100996948","display_name":"Yifei Gao","orcid":"https://orcid.org/0000-0001-5421-4619"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yifei Gao","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"raw_orcid":"https://orcid.org/0000-0001-5421-4619","affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107243616","display_name":"Shiwei Feng","orcid":"https://orcid.org/0000-0001-6959-4327"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shiwei Feng","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"raw_orcid":"https://orcid.org/0000-0001-6959-4327","affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5107249133","display_name":"Xiangyu Zhang","orcid":"https://orcid.org/0000-0002-9544-2500"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiangyu Zhang","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"raw_orcid":"https://orcid.org/0000-0002-9544-2500","affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5034431418"],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":5.8102,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.95734279,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"2","issue":"FSE","first_page":"668","last_page":"689"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9957000017166138,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/callback","display_name":"Callback","score":0.985709011554718},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8464431762695312},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5242281556129456},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.48927995562553406},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43774133920669556},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.417908638715744},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3209484815597534}],"concepts":[{"id":"https://openalex.org/C204495577","wikidata":"https://www.wikidata.org/wiki/Q1205349","display_name":"Callback","level":2,"score":0.985709011554718},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8464431762695312},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5242281556129456},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.48927995562553406},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43774133920669556},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.417908638715744},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3209484815597534}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3715748","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715748","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3715748","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715748","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1089718580","display_name":null,"funder_award_id":"TrojAI W911NF-19-S0012","funder_id":"https://openalex.org/F4320333051","funder_display_name":"Intelligence Advanced Research Projects Activity"},{"id":"https://openalex.org/G4168209923","display_name":null,"funder_award_id":"VSPELLS - HR001120S0058","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320333051","display_name":"Intelligence Advanced Research Projects Activity","ror":"https://ror.org/01v3fsc55"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1545344643","https://openalex.org/W2735411563","https://openalex.org/W2899272441","https://openalex.org/W2965712325","https://openalex.org/W3113924024","https://openalex.org/W3174073252","https://openalex.org/W3180768952","https://openalex.org/W3182259309","https://openalex.org/W3193572112","https://openalex.org/W4280571816","https://openalex.org/W4281566571","https://openalex.org/W4293023309","https://openalex.org/W4312199171","https://openalex.org/W4381894217","https://openalex.org/W6911767741"],"related_works":["https://openalex.org/W2613684332","https://openalex.org/W2283761799","https://openalex.org/W2126556840","https://openalex.org/W2117563254","https://openalex.org/W2036388380","https://openalex.org/W2369126155","https://openalex.org/W2577299680","https://openalex.org/W2898656313","https://openalex.org/W2207495067","https://openalex.org/W1906486629"],"abstract_inverted_index":{"Increasingly":[0],"popular":[1],"Robot":[2],"Operating":[3],"System":[4],"(ROS)":[5],"framework":[6,27,50],"allows":[7],"building":[8],"robotic":[9,43,142],"systems":[10],"by":[11,133],"integrating":[12],"newly":[13],"developed":[14],"and/or":[15],"reused":[16],"modules,":[17],"where":[18],"the":[19,26,61,67,87,98,106,139,154,159,168,172],"modules":[20],"can":[21,81,191],"use":[22],"different":[23],"versions":[24,104],"of":[25,41,63,69,89,97,100,105,109,138,141],"(e.g.,":[28],"ROS1":[29],"or":[30,37],"ROS2)":[31],"and":[32,57,74,79,145,149,177],"programming":[33],"language":[34],"(e.g.":[35],"C++":[36],"Python).":[38],"The":[39,49,184],"majority":[40],"such":[42,131],"systems'":[44],"work":[45],"happens":[46],"in":[47,102],"callbacks.":[48,64],"provides":[51],"various":[52,103],"elements":[53,101],"for":[54,58,122],"initializing":[55],"callbacks":[56,73,144],"setting":[59],"up":[60],"execution":[62,76,91,147],"It":[65],"is":[66],"responsibility":[68],"developers":[70],"to":[71,83,86,93,129],"compose":[72],"their":[75,119,146],"setup":[77,88],"elements,":[78],"hence":[80],"lead":[82],"inconsistencies":[84,111,132],"related":[85],"callback":[90],"due":[92],"developer's":[94],"incomplete":[95],"knowledge":[96],"semantics":[99],"framework.":[107],"Some":[108],"these":[110],"do":[112],"not":[113],"throw":[114],"errors":[115],"at":[116],"runtime,":[117],"making":[118],"detection":[120],"difficult":[121],"developers.":[123],"We":[124,162],"propose":[125],"a":[126,135],"static":[127,136],"approach":[128,190],"detecting":[130],"extracting":[134],"view":[137],"composition":[140,155],"system's":[143],"setup,":[148],"then":[150],"checking":[151],"it":[152],"against":[153],"conventions":[156],"based":[157],"on":[158,167,174],"elements'":[160],"semantics.":[161],"evaluate":[163],"our":[164,189],"ROSCallBaX":[165],"prototype":[166],"dataset":[169],"created":[170],"from":[171],"posts":[173],"developer":[175],"forums":[176],"ROS":[178],"projects":[179],"that":[180,188],"are":[181],"publicly":[182],"available.":[183],"evaluation":[185],"results":[186],"show":[187],"detect":[192],"real":[193],"inconsistencies.":[194]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}