{"id":"https://openalex.org/W3011828434","doi":"https://doi.org/10.2514/1.i010767","title":"Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables","display_name":"Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables","publication_year":2020,"publication_date":"2020-03-19","ids":{"openalex":"https://openalex.org/W3011828434","doi":"https://doi.org/10.2514/1.i010767","mag":"3011828434"},"language":"en","primary_location":{"id":"doi:10.2514/1.i010767","is_oa":false,"landing_page_url":"https://doi.org/10.2514/1.i010767","pdf_url":null,"source":{"id":"https://openalex.org/S4210240151","display_name":"Journal of Aerospace Information Systems","issn_l":"2327-3097","issn":["2327-3097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315709","host_organization_name":"American Institute of Aeronautics and Astronautics","host_organization_lineage":["https://openalex.org/P4310315709"],"host_organization_lineage_names":["American Institute of Aeronautics and Astronautics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Aerospace Information Systems","raw_type":"journal-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/A5030997313","display_name":"Hu Huang","orcid":"https://orcid.org/0000-0002-3137-692X"},"institutions":[{"id":"https://openalex.org/I121934306","display_name":"Tufts University","ror":"https://ror.org/05wvpxv85","country_code":"US","type":"education","lineage":["https://openalex.org/I121934306"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hu Huang","raw_affiliation_strings":["Tufts University, Medford, Massachusetts 02155"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tufts University, Medford, Massachusetts 02155","institution_ids":["https://openalex.org/I121934306"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004167701","display_name":"Samuel Z. Guyer","orcid":null},"institutions":[{"id":"https://openalex.org/I121934306","display_name":"Tufts University","ror":"https://ror.org/05wvpxv85","country_code":"US","type":"education","lineage":["https://openalex.org/I121934306"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samuel Z. Guyer","raw_affiliation_strings":["Tufts University, Medford, Massachusetts 02155"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tufts University, Medford, Massachusetts 02155","institution_ids":["https://openalex.org/I121934306"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022024681","display_name":"Jason Rife","orcid":"https://orcid.org/0000-0002-3554-701X"},"institutions":[{"id":"https://openalex.org/I121934306","display_name":"Tufts University","ror":"https://ror.org/05wvpxv85","country_code":"US","type":"education","lineage":["https://openalex.org/I121934306"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason H. Rife","raw_affiliation_strings":["Tufts University, Medford, Massachusetts 02155"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tufts University, Medford, Massachusetts 02155","institution_ids":["https://openalex.org/I121934306"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I121934306"],"apc_list":null,"apc_paid":null,"fwci":2.0878,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.86595107,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":97},"biblio":{"volume":"17","issue":"4","first_page":"204","last_page":"213"},"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.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/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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/autopilot","display_name":"Autopilot","score":0.8728012442588806},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7488553524017334},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.7295000553131104},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6840977072715759},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.5885208249092102},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5864920616149902},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5188478231430054},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4462316930294037},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4310358762741089},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3994549512863159},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3467080593109131},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3411995470523834},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1730343997478485},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15172645449638367},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.14798802137374878}],"concepts":[{"id":"https://openalex.org/C18020424","wikidata":"https://www.wikidata.org/wiki/Q220858","display_name":"Autopilot","level":2,"score":0.8728012442588806},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7488553524017334},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.7295000553131104},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6840977072715759},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.5885208249092102},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5864920616149902},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5188478231430054},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4462316930294037},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4310358762741089},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3994549512863159},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3467080593109131},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3411995470523834},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1730343997478485},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15172645449638367},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.14798802137374878}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2514/1.i010767","is_oa":false,"landing_page_url":"https://doi.org/10.2514/1.i010767","pdf_url":null,"source":{"id":"https://openalex.org/S4210240151","display_name":"Journal of Aerospace Information Systems","issn_l":"2327-3097","issn":["2327-3097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315709","host_organization_name":"American Institute of Aeronautics and Astronautics","host_organization_lineage":["https://openalex.org/P4310315709"],"host_organization_lineage_names":["American Institute of Aeronautics and Astronautics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Aerospace Information Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3361479357","display_name":null,"funder_award_id":"CNS-1836942","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"},{"id":"https://openalex.org/G3748701971","display_name":null,"funder_award_id":"CNS-1329341","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"}],"funders":[{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1967382791","https://openalex.org/W1988790447","https://openalex.org/W1992534129","https://openalex.org/W2023857055","https://openalex.org/W2109156518","https://openalex.org/W2145071552","https://openalex.org/W2157657084","https://openalex.org/W2253113774","https://openalex.org/W2293624369","https://openalex.org/W2914097741","https://openalex.org/W2966535737","https://openalex.org/W3011828434","https://openalex.org/W4226182047"],"related_works":["https://openalex.org/W4244235824","https://openalex.org/W2168928134","https://openalex.org/W2112040168","https://openalex.org/W4241972157","https://openalex.org/W2740264376","https://openalex.org/W4206999239","https://openalex.org/W2161928627","https://openalex.org/W4388482952","https://openalex.org/W2786113878","https://openalex.org/W2727867943"],"abstract_inverted_index":{"Like":[0],"any":[1],"software,":[2],"manned-aircraft":[3],"flight":[4],"management":[5],"systems":[6],"and":[7,115,146,154],"unmanned":[8],"aerial":[9],"system":[10],"autopilots":[11,20],"contain":[12],"bugs.":[13],"A":[14,37],"large":[15],"portion":[16],"of":[17,34,62,74,122,137,152,157,171],"bugs":[18,45,54,117,148,163],"in":[19,131,140],"are":[21,105],"semantic":[22,44,53],"bugs,":[23],"where":[24],"the":[25,32,35,67,72,85,93,138,141],"autopilot":[26,47],"does":[27],"not":[28],"behave":[29],"according":[30],"to":[31,42,66,99,107,143],"expectations":[33],"programmer.":[36],"bug":[38,89],"detector":[39],"is":[40,50,96],"constructed":[41],"detect":[43,144],"for":[46,87,161,169],"software.":[48],"It":[49],"hypothesized":[51],"that":[52],"can":[55],"be":[56],"detected":[57],"by":[58],"monitoring":[59],"a":[60,109,119,132,150,155],"set":[61],"relevant":[63],"variables":[64,77,139],"internal":[65],"autopilot.":[68],"This":[69],"paper":[70],"formulates":[71],"problem":[73,81,95],"identifying":[75],"these":[76],"as":[78],"an":[79],"optimization":[80,94],"aimed":[82],"at":[83,158],"minimizing":[84],"overhead":[86],"online":[88],"detection.":[90],"However,":[91],"because":[92],"computationally":[97],"prohibitive":[98],"solve":[100],"directly,":[101],"graph-based":[102],"software":[103],"models":[104],"used":[106],"identify":[108],"suboptimal":[110],"solution.":[111],"In":[112],"analyzing":[113],"real":[114,145],"injected":[116],"within":[118],"particular":[120],"block":[121],"code":[123],"(a":[124],"program":[125],"slice),":[126],"our":[127],"proof-of-concept":[128],"approach":[129],"resulted":[130],"model":[133],"using":[134],"only":[135],"20%":[136],"slice":[142],"synthetic":[147],"with":[149],"specificity":[151],"95%":[153],"sensitivity":[156],"least":[159],"60%":[160],"all":[162],"tested":[164],"(and":[165],"90%":[166],"or":[167],"higher":[168],"many":[170],"them).":[172]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}