{"id":"https://openalex.org/W4411522840","doi":"https://doi.org/10.1145/3728904","title":"RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search","display_name":"RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4411522840","doi":"https://doi.org/10.1145/3728904"},"language":"en","primary_location":{"id":"doi:10.1145/3728904","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728904","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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3728904","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5104021193","display_name":"Siao Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Siao Wang","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0008-1807-2746","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083463420","display_name":"Zhen Dong","orcid":"https://orcid.org/0009-0009-1193-0696"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen Dong","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0009-1193-0696","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hui Li","orcid":"https://orcid.org/0009-0009-5826-343X"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hui Li","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0009-5826-343X","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101551643","display_name":"Liwei Shen","orcid":"https://orcid.org/0000-0002-8107-0590"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liwei Shen","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-8107-0590","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101854992","display_name":"Xin Peng","orcid":"https://orcid.org/0000-0003-3376-2581"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Peng","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-3376-2581","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048358055","display_name":"Dongdong She","orcid":"https://orcid.org/0000-0001-6655-0468"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Dongdong She","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0001-6655-0468","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0909,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.80632712,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"2","issue":"ISSTA","first_page":"640","last_page":"662"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.998199999332428,"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/pid-controller","display_name":"PID controller","score":0.9374834895133972},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5828701853752136},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5799539089202881},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.4600084125995636},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.35669416189193726},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.326873779296875},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.2866329550743103},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21966689825057983},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1387554109096527},{"id":"https://openalex.org/keywords/temperature-control","display_name":"Temperature control","score":0.08066627383232117}],"concepts":[{"id":"https://openalex.org/C47116090","wikidata":"https://www.wikidata.org/wiki/Q716829","display_name":"PID controller","level":3,"score":0.9374834895133972},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5828701853752136},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5799539089202881},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.4600084125995636},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.35669416189193726},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.326873779296875},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.2866329550743103},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21966689825057983},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1387554109096527},{"id":"https://openalex.org/C536315585","wikidata":"https://www.wikidata.org/wiki/Q7698332","display_name":"Temperature control","level":2,"score":0.08066627383232117}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3728904","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728904","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"},{"id":"pmh:oai:arXiv.org:2505.02357","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2505.02357","pdf_url":"https://arxiv.org/pdf/2505.02357","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-148117","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-148117","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference paper"}],"best_oa_location":{"id":"doi:10.1145/3728904","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728904","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/G3848179249","display_name":null,"funder_award_id":"62472100","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7447542441","display_name":null,"funder_award_id":"2022YFB4501803","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1966458911","https://openalex.org/W2000769684","https://openalex.org/W2028828529","https://openalex.org/W2049867234","https://openalex.org/W2107377771","https://openalex.org/W2147175929","https://openalex.org/W2562393118","https://openalex.org/W2578154675","https://openalex.org/W2810278913","https://openalex.org/W2892748555","https://openalex.org/W2938419802","https://openalex.org/W2943882542","https://openalex.org/W2998937823","https://openalex.org/W3091213782","https://openalex.org/W3109892785","https://openalex.org/W3114131285","https://openalex.org/W3125430184","https://openalex.org/W3137265271","https://openalex.org/W3144426752","https://openalex.org/W3187121943","https://openalex.org/W3195794356","https://openalex.org/W3206959716","https://openalex.org/W4254086614","https://openalex.org/W4283027853","https://openalex.org/W4284704581","https://openalex.org/W4297294773","https://openalex.org/W4308731476","https://openalex.org/W4312224033","https://openalex.org/W4320519712","https://openalex.org/W4324007088","https://openalex.org/W4383888916","https://openalex.org/W4384916966","https://openalex.org/W4386325884","https://openalex.org/W4387321760","https://openalex.org/W4390939554","https://openalex.org/W4399800872"],"related_works":["https://openalex.org/W2002388147","https://openalex.org/W3098928304","https://openalex.org/W2394883510","https://openalex.org/W2150958483","https://openalex.org/W2165013373","https://openalex.org/W2121097709","https://openalex.org/W2922503265","https://openalex.org/W2023324176","https://openalex.org/W2576987672","https://openalex.org/W2167345368"],"abstract_inverted_index":{"Flight":[0],"control":[1,21,26,60,256,269],"programs":[2,22,61],"are":[3,130],"widely":[4],"used":[5],"in":[6,133,190,253,265,348],"unmanned":[7],"aerial":[8],"vehicles":[9],"(UAVs)":[10],"to":[11,50,74,94,120,209,249,297,344],"manage":[12],"and":[13,38,90,246,272,350],"maintain":[14],"UAVs\u2019":[15],"flying":[16],"behaviors":[17],"dynamically.":[18],"These":[19],"flight":[20,49,56,59,245,255,263,268],"include":[23],"a":[24,75,96,180,211],"PID":[25,32,46,71,88,123,139,167,188,201,213,231,240,287,309,316,331],"module":[27],"that":[28,277],"takes":[29],"three":[30,346],"user-configurable":[31],"parameters:":[33],"Proportional":[34],"(P),":[35],"Integral":[36],"(I),":[37],"Derivative":[39],"(D).":[40],"Users":[41],"can":[42,236,279],"also":[43],"adjust":[44],"these":[45],"parameters":[47,89,124,189,232,241,288],"during":[48,244],"suit":[51],"the":[52,69,85,92,103,134,146,154,164,172,206,219,281,285,298,304,322],"needs":[53],"of":[54,78,107,138,145,156,166,185,229,284,292,303,307,315,330],"various":[55],"tasks.":[57],"However,":[58,128],"do":[62],"not":[63,131],"have":[64],"sufficient":[65],"safety":[66],"checks":[67],"on":[68],"user-provided":[70],"parameters,":[72,310],"leading":[73],"severe":[76],"vulnerability":[77],"UAV\u2014input":[79],"validation":[80],"bug.":[81],"It":[82],"happens":[83],"when":[84,295],"user":[86,126],"misconfigures":[87],"causes":[91],"UAV":[93,147],"enter":[95],"dangerous":[97],"state,":[98],"such":[99],"as":[100],"deviation":[101],"from":[102,125,242],"expected":[104],"path,":[105],"loss":[106],"control,":[108],"or":[109],"even":[110],"crash.":[111],"Prior":[112],"works":[113,336],"use":[114],"random":[115,157],"testing":[116],"approaches":[117],"like":[118],"fuzzing":[119],"identify":[121,210],"invalid":[122],"input.":[127],"they":[129],"effective":[132],"three-dimensional":[135,200,230,286],"search":[136],"space":[137],"parameters.":[140,202],"Meanwhile,":[141],"each":[142],"dynamic":[143],"execution":[144],"test":[148],"is":[149],"very":[150],"expensive,":[151],"further":[152,247],"affecting":[153],"performance":[155],"testing.":[158],"In":[159,301],"this":[160],"work,":[161],"we":[162],"address":[163],"problem":[165],"parameter":[168,214],"misconfiguration":[169],"by":[170,234,337],"combining":[171],"Routh-Hurwitz":[173,207],"stability":[174],"criterion":[175],"with":[176,289],"coordinate":[177,224],"search,":[178],"introducing":[179],"method":[181,342],"called":[182],"RouthSearch.":[183],"Instead":[184],"identifying":[186],"misconfigured":[187,239,308],"an":[191,222,290],"ad-hoc":[192],"fashion,":[193],"RouthSearch":[194,235,260,278,311],"principledly":[195],"determines":[196],"valid":[197,227,282],"ranges":[198,283],"for":[199],"We":[203,216,258],"first":[204],"leverage":[205],"Criterion":[208],"theoretical":[212],"boundary.":[215],"then":[217],"refine":[218],"boundary":[220],"using":[221],"efficient":[223],"search.":[225],"The":[226,274],"range":[228],"determined":[233],"filter":[237],"out":[238],"users":[243],"help":[248],"discover":[250],"logical":[251],"bugs":[252,347],"popular":[254,267],"programs.":[257],"evaluated":[259],"across":[261],"eight":[262],"modes":[264],"two":[266],"programs,":[270],"PX4":[271],"ArduPilot.":[273],"results":[275],"show":[276],"determine":[280],"accuracy":[291],"92.":[293],"0%":[294],"compared":[296],"ground":[299],"truth.":[300],"terms":[302],"total":[305],"number":[306],"discovers":[312,327],"3,853":[313],"sets":[314,329],"misconfigurations":[317],"within":[318],"48":[319],"hours,":[320],"while":[321],"STOA":[323],"work":[324],"PGFuzz":[325],"only":[326],"449":[328],"misconfigurations,":[332],"significantly":[333],"outperforming":[334],"prior":[335],"8.58":[338],"times.":[339],"Additionally,":[340],"our":[341],"helps":[343],"detect":[345],"ArduPilot":[349],"PX4.":[351]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}