{"id":"https://openalex.org/W4285102495","doi":"https://doi.org/10.1109/icra46639.2022.9811701","title":"ROZZ: Property-based Fuzzing for Robotic Programs in ROS","display_name":"ROZZ: Property-based Fuzzing for Robotic Programs in ROS","publication_year":2022,"publication_date":"2022-05-23","ids":{"openalex":"https://openalex.org/W4285102495","doi":"https://doi.org/10.1109/icra46639.2022.9811701"},"language":"en","primary_location":{"id":"doi:10.1109/icra46639.2022.9811701","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra46639.2022.9811701","pdf_url":null,"source":{"id":"https://openalex.org/S4363607759","display_name":"2022 International Conference on Robotics and Automation (ICRA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 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/A5101179113","display_name":"Kai-Tao Xie","orcid":"https://orcid.org/0009-0005-3879-5050"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kai-Tao Xie","raw_affiliation_strings":["Tsinghua University,Department of Computer Science and Technology,Beijing,China","Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University,Department of Computer Science and Technology,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017174482","display_name":"Jia-Ju Bai","orcid":"https://orcid.org/0000-0002-9500-6100"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jia-Ju Bai","raw_affiliation_strings":["Tsinghua University,Department of Computer Science and Technology,Beijing,China","Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University,Department of Computer Science and Technology,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053316667","display_name":"Yong-Hao Zou","orcid":"https://orcid.org/0000-0002-5978-8934"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong-Hao Zou","raw_affiliation_strings":["Tsinghua University,Department of Computer Science and Technology,Beijing,China","Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University,Department of Computer Science and Technology,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100339128","display_name":"Yu-Ping Wang","orcid":"https://orcid.org/0000-0003-4129-7704"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu-Ping Wang","raw_affiliation_strings":["Tsinghua University,Department of Computer Science and Technology,Beijing,China","Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University,Department of Computer Science and Technology,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":1.1834,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.77506112,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"6786","last_page":"6792"},"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.9998999834060669,"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.9998999834060669,"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.9939000010490417,"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/T10260","display_name":"Software Engineering Research","score":0.9908999800682068,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.9792200922966003},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7501461505889893},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6373167037963867},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.5832079648971558},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.5489060878753662},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5285600423812866},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4869728982448578},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.47191980481147766},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4583423137664795},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.44381487369537354},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3143158555030823},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2574964165687561},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1827249825000763},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10311341285705566}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9792200922966003},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7501461505889893},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6373167037963867},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.5832079648971558},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5489060878753662},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5285600423812866},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4869728982448578},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.47191980481147766},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4583423137664795},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.44381487369537354},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3143158555030823},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2574964165687561},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1827249825000763},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10311341285705566},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra46639.2022.9811701","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra46639.2022.9811701","pdf_url":null,"source":{"id":"https://openalex.org/S4363607759","display_name":"2022 International Conference on Robotics and Automation (ICRA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.47999998927116394,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G7040035029","display_name":null,"funder_award_id":"62002195,61872210","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W614438062","https://openalex.org/W2037792107","https://openalex.org/W2056689755","https://openalex.org/W2069277353","https://openalex.org/W2098088585","https://openalex.org/W2303724510","https://openalex.org/W2562218645","https://openalex.org/W2757104921","https://openalex.org/W2777430404","https://openalex.org/W2799894347","https://openalex.org/W2807803476","https://openalex.org/W2888922197","https://openalex.org/W2952245079","https://openalex.org/W3020610636","https://openalex.org/W3043754835","https://openalex.org/W3082677261","https://openalex.org/W3091632472","https://openalex.org/W3104037525","https://openalex.org/W3104664063","https://openalex.org/W3116246317","https://openalex.org/W3131562210","https://openalex.org/W3163844163","https://openalex.org/W3205715944","https://openalex.org/W3207634985","https://openalex.org/W3207812204","https://openalex.org/W4226163636","https://openalex.org/W4233012835","https://openalex.org/W4251377221","https://openalex.org/W6619192471","https://openalex.org/W6697371779","https://openalex.org/W6750797506","https://openalex.org/W6754293714","https://openalex.org/W6776870735","https://openalex.org/W6780991629","https://openalex.org/W6781274470","https://openalex.org/W6785670342"],"related_works":["https://openalex.org/W614438062","https://openalex.org/W4313066017","https://openalex.org/W3173990398","https://openalex.org/W4205454537","https://openalex.org/W4385301282","https://openalex.org/W2297949281","https://openalex.org/W1964740600","https://openalex.org/W4287849816","https://openalex.org/W4381785649","https://openalex.org/W4226494072"],"abstract_inverted_index":{"ROS":[0,11,34,39,68,75,92,118,163],"is":[1,13,19],"popular":[2],"in":[3,10,32,120,144],"robotic-software":[4],"development,":[5],"and":[6,49,70,102,146,159,175],"thus":[7],"detecting":[8],"bugs":[9,72,155,179],"programs":[12,69,93,143],"important":[14],"for":[15,171],"modern":[16],"robots.":[17],"Fuzzing":[18],"a":[20,59,83,106,125],"promising":[21],"technique":[22],"of":[23,47,91,116,153],"runtime":[24],"testing.":[25],"But":[26],"existing":[27,169],"fuzzing":[28,61],"approaches":[29,170],"are":[30],"limited":[31],"testing":[33,172],"programs,":[35,174],"due":[36],"to":[37,65,87,110,129,168],"neglecting":[38],"properties,":[40],"such":[41],"as":[42],"multi-dimensional":[43,84],"inputs,":[44],"temporal":[45,126,134],"features":[46],"inputs":[48],"the":[50,112,121],"distributed":[51,107],"node":[52],"model.":[53],"In":[54],"this":[55],"paper,":[56],"we":[57],"develop":[58],"new":[60],"framework":[62],"named":[63],"ROZZ,":[64],"effectively":[66],"test":[67,89,131],"detect":[71],"based":[73],"on":[74,139],"properties.":[76],"ROZZ":[77,138,167,176],"has":[78],"three":[79],"key":[80],"techniques:":[81],"(1)":[82],"generation":[85],"method":[86],"generate":[88,130],"cases":[90,132],"from":[94],"multiple":[95,117],"dimensions,":[96],"including":[97],"user":[98],"data,":[99],"configuration":[100],"parameters":[101],"sensor":[103],"messages;":[104],"(2)":[105],"branch":[108],"coverage":[109,115],"describe":[111],"overall":[113],"code":[114,182],"nodes":[119],"robot":[122],"task;":[123],"(3)":[124],"mutation":[127],"strategy":[128],"with":[133,180],"information.":[135],"We":[136,165],"evaluate":[137],"10":[140],"common":[141],"robotic":[142,173],"ROS2,":[145],"it":[147],"finds":[148,177],"43":[149],"real":[150],"bugs.":[151],"20":[152],"these":[154],"have":[156],"been":[157],"confirmed":[158],"fixed":[160],"by":[161],"related":[162],"developers.":[164],"compare":[166],"more":[178],"higher":[181],"coverage.":[183]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}