{"id":"https://openalex.org/W4401416970","doi":"https://doi.org/10.1109/icra57147.2024.10611413","title":"Is it a Bug? Understanding Physical Unit Mismatches in Robot Software","display_name":"Is it a Bug? Understanding Physical Unit Mismatches in Robot Software","publication_year":2024,"publication_date":"2024-05-13","ids":{"openalex":"https://openalex.org/W4401416970","doi":"https://doi.org/10.1109/icra57147.2024.10611413"},"language":"en","primary_location":{"id":"doi:10.1109/icra57147.2024.10611413","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra57147.2024.10611413","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","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/A5057105594","display_name":"Paulo Canelas","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Paulo Canelas","raw_affiliation_strings":["Carnegie Mellon University,School of Computer Science"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University,School of Computer Science","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035658063","display_name":"Trenton Tabor","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Trenton Tabor","raw_affiliation_strings":["Carnegie Mellon University,School of Computer Science"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University,School of Computer Science","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028663406","display_name":"John\u2010Paul Ore","orcid":"https://orcid.org/0000-0002-8122-3809"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John-Paul Ore","raw_affiliation_strings":["North Carolina State University"],"affiliations":[{"raw_affiliation_string":"North Carolina State University","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089334093","display_name":"Alcides Fonseca","orcid":"https://orcid.org/0000-0002-0879-4015"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Alcides Fonseca","raw_affiliation_strings":["LASIGE, Faculdade de Ciências da Universidade de Lisboa"],"affiliations":[{"raw_affiliation_string":"LASIGE, Faculdade de Ciências da Universidade de Lisboa","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032356672","display_name":"Claire Le Goues","orcid":"https://orcid.org/0000-0002-3931-060X"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Claire Le Goues","raw_affiliation_strings":["Carnegie Mellon University,School of Computer Science"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University,School of Computer Science","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087160003","display_name":"Christopher S. Timperley","orcid":"https://orcid.org/0000-0002-9785-324X"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher S. Timperley","raw_affiliation_strings":["Carnegie Mellon University,School of Computer Science"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University,School of Computer Science","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5057105594"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.3637,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.65458577,"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":"4819","last_page":"4825"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.996999979019165,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9947999715805054,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7124795913696289},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.6369736790657043},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5563468337059021},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4994349479675293},{"id":"https://openalex.org/keywords/unit","display_name":"Unit (ring theory)","score":0.4909572899341583},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2321399450302124},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21511605381965637}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7124795913696289},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.6369736790657043},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5563468337059021},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4994349479675293},{"id":"https://openalex.org/C122637931","wikidata":"https://www.wikidata.org/wiki/Q118084","display_name":"Unit (ring theory)","level":2,"score":0.4909572899341583},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2321399450302124},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21511605381965637},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra57147.2024.10611413","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra57147.2024.10611413","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1857404662","https://openalex.org/W2154256781","https://openalex.org/W2736110558","https://openalex.org/W2772129057","https://openalex.org/W2775664586","https://openalex.org/W2806936806","https://openalex.org/W2899272441","https://openalex.org/W2911233971","https://openalex.org/W4281566571","https://openalex.org/W4306808624","https://openalex.org/W6725800993","https://openalex.org/W6747696619","https://openalex.org/W6756486208"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Robot":[0],"software":[1,40,115],"is":[2,37],"abundant":[3],"with":[4],"variables":[5],"that":[6,65,88,142],"represent":[7],"real-world":[8],"physical":[9,66,104,124,149,177],"units":[10,17],"(e.g.,":[11,18,75],"meters,":[12],"seconds).":[13],"Operations":[14],"over":[15],"different":[16],"adding":[19],"meters":[20],"and":[21,26,50,94,127,147,158,174],"seconds)":[22],"may":[23],"be":[24],"incorrect":[25],"can":[27,89],"lead":[28],"to":[29,53,166,170],"dangerous":[30],"system":[31],"misbehaviors;":[32],"manually":[33,108],"detecting":[34],"such":[35,44],"mistakes":[36],"challenging.":[38],"Current":[39],"analysis":[41,48,116],"techniques":[42],"identify":[43,120],"mismatches":[45,68,106,126,151],"using":[46],"dimensional":[47],"rules":[49],"ROS-specific":[51],"assumptions":[52],"analyze":[54],"the":[55,63,114],"source":[56],"code.":[57],"However,":[58],"these":[59,137],"are":[60,72],"ignorant":[61],"of":[62,123,131,135],"fact":[64],"unit":[67,105,125,150,178],"in":[69,83],"robotics":[70,91],"code":[71],"often":[73,144],"intentional":[74],"when":[76],"operating":[77],"a":[78,129],"differential":[79,153],"drive":[80],"robot),":[81],"resulting":[82],"false":[84],"positive":[85],"bug":[86],"reports":[87],"impede":[90],"developer":[92],"trust":[93],"productivity.":[95],"In":[96],"this":[97],"work,":[98],"we":[99],"study":[100],"how":[101,136],"developers":[102,143],"introduce":[103],"by":[107,113],"inspecting":[109],"180":[110],"errors":[111,138],"detected":[112],"technique,":[117],"Phys.":[118],"We":[119,140,160],"three":[121],"types":[122],"present":[128],"taxonomy":[130],"eight":[132],"high-level":[133],"categories":[134],"manifest.":[139],"find":[141],"make":[145],"unforced":[146],"paradigmatic":[148],"through":[152],"drives,":[154],"small":[155],"angle":[156],"approximations,":[157],"controls.":[159],"draw":[161],"insights":[162],"on":[163],"current":[164],"development":[165],"inform":[167],"future":[168],"research":[169],"better":[171],"detect,":[172],"categorize,":[173],"address":[175],"meaningful":[176],"mismatches.":[179]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}