{"id":"https://openalex.org/W3194969426","doi":"https://doi.org/10.1145/3468264.3468626","title":"Boosting static analysis accuracy with instrumented test executions","display_name":"Boosting static analysis accuracy with instrumented test executions","publication_year":2021,"publication_date":"2021-08-18","ids":{"openalex":"https://openalex.org/W3194969426","doi":"https://doi.org/10.1145/3468264.3468626","mag":"3194969426"},"language":"en","primary_location":{"id":"doi:10.1145/3468264.3468626","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3468626","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468626","source":null,"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 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468626","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100783478","display_name":"Tianyi Chen","orcid":"https://orcid.org/0000-0002-6207-1344"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Tianyi Chen","raw_affiliation_strings":["University of Southern California, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071661688","display_name":"Kihong Heo","orcid":"https://orcid.org/0000-0003-2671-0142"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Kihong Heo","raw_affiliation_strings":["KAIST, South Korea"],"affiliations":[{"raw_affiliation_string":"KAIST, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024988696","display_name":"Mukund Raghothaman","orcid":"https://orcid.org/0000-0003-2879-0932"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mukund Raghothaman","raw_affiliation_strings":["University of Southern California, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, USA","institution_ids":["https://openalex.org/I1174212"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100783478"],"corresponding_institution_ids":["https://openalex.org/I1174212"],"apc_list":null,"apc_paid":null,"fwci":2.2151,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.87434555,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1154","last_page":"1165"},"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.9998000264167786,"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.9998000264167786,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9995999932289124,"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/T10260","display_name":"Software Engineering Research","score":0.9993000030517578,"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/computer-science","display_name":"Computer science","score":0.831727147102356},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.7458664774894714},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.7450918555259705},{"id":"https://openalex.org/keywords/alarm","display_name":"ALARM","score":0.5979128479957581},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5759395360946655},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5683051347732544},{"id":"https://openalex.org/keywords/false-alarm","display_name":"False alarm","score":0.5514428019523621},{"id":"https://openalex.org/keywords/constant-false-alarm-rate","display_name":"Constant false alarm rate","score":0.5109647512435913},{"id":"https://openalex.org/keywords/boosting","display_name":"Boosting (machine learning)","score":0.5039164423942566},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.4867229759693146},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.4581941068172455},{"id":"https://openalex.org/keywords/dynamic-testing","display_name":"Dynamic testing","score":0.41547638177871704},{"id":"https://openalex.org/keywords/baseline","display_name":"Baseline (sea)","score":0.41128891706466675},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.37993139028549194},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.37975525856018066},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.34643638134002686},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2428445816040039},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.22068113088607788},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.1959906816482544},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13894930481910706},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1387343406677246},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09805947542190552},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08227959275245667}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.831727147102356},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.7458664774894714},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7450918555259705},{"id":"https://openalex.org/C2779119184","wikidata":"https://www.wikidata.org/wiki/Q294350","display_name":"ALARM","level":2,"score":0.5979128479957581},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5759395360946655},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5683051347732544},{"id":"https://openalex.org/C2776836416","wikidata":"https://www.wikidata.org/wiki/Q1364844","display_name":"False alarm","level":2,"score":0.5514428019523621},{"id":"https://openalex.org/C77052588","wikidata":"https://www.wikidata.org/wiki/Q644307","display_name":"Constant false alarm rate","level":2,"score":0.5109647512435913},{"id":"https://openalex.org/C46686674","wikidata":"https://www.wikidata.org/wiki/Q466303","display_name":"Boosting (machine learning)","level":2,"score":0.5039164423942566},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.4867229759693146},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.4581941068172455},{"id":"https://openalex.org/C198824145","wikidata":"https://www.wikidata.org/wiki/Q442770","display_name":"Dynamic testing","level":2,"score":0.41547638177871704},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.41128891706466675},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.37993139028549194},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.37975525856018066},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.34643638134002686},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2428445816040039},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.22068113088607788},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.1959906816482544},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13894930481910706},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1387343406677246},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09805947542190552},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08227959275245667},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C111368507","wikidata":"https://www.wikidata.org/wiki/Q43518","display_name":"Oceanography","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3468264.3468626","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3468626","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468626","source":null,"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 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3468264.3468626","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3468626","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468626","source":null,"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 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7400000095367432}],"awards":[{"id":"https://openalex.org/G1510316451","display_name":null,"funder_award_id":"2021R1A5","funder_id":"https://openalex.org/F4320328359","funder_display_name":"Ministry of Science and ICT, South Korea"},{"id":"https://openalex.org/G3034753964","display_name":null,"funder_award_id":"grant","funder_id":"https://openalex.org/F4320320671","funder_display_name":"National Research Foundation"},{"id":"https://openalex.org/G3071639259","display_name":null,"funder_award_id":"2021R1","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G342704958","display_name":null,"funder_award_id":"funded","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G3875820762","display_name":"Collaborative Research: GEM--Asymmetric Entry and Transport of Magnetospheric Plasma During Periods of Northward Interplanetary Magnetic Field","funder_award_id":"1003876","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3942910960","display_name":null,"funder_award_id":"(NRF) grant","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G4447486136","display_name":null,"funder_award_id":"2021R1A5A1021944","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G4694788573","display_name":null,"funder_award_id":"2021R1C1C1003876","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G6018809898","display_name":null,"funder_award_id":"CCF-2107261","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6072120315","display_name":null,"funder_award_id":"funded","funder_id":"https://openalex.org/F4320335489","funder_display_name":"Institute for Information and Communications Technology Promotion"},{"id":"https://openalex.org/G672701102","display_name":"Collaborative Research: SHF: Medium: Synthesis of Logic Programs for Democratizing Program Analysis","funder_award_id":"2107261","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6757325407","display_name":null,"funder_award_id":"2021-0-00758","funder_id":"https://openalex.org/F4320335489","funder_display_name":"Institute for Information and Communications Technology Promotion"},{"id":"https://openalex.org/G7369723383","display_name":null,"funder_award_id":"2021R1A5A1021944","funder_id":"https://openalex.org/F4320328359","funder_display_name":"Ministry of Science and ICT, South Korea"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8786477089","display_name":null,"funder_award_id":"2021R1C1C1003876, 2021R1A5A1021944","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"},{"id":"https://openalex.org/F4320328359","display_name":"Ministry of Science and ICT, South Korea","ror":"https://ror.org/01wpjm123"},{"id":"https://openalex.org/F4320335489","display_name":"Institute for Information and Communications Technology Promotion","ror":"https://ror.org/01g0hqq23"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3194969426.pdf","grobid_xml":"https://content.openalex.org/works/W3194969426.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W1878544538","https://openalex.org/W2009489720","https://openalex.org/W2022689150","https://openalex.org/W2025819261","https://openalex.org/W2042141335","https://openalex.org/W2069661885","https://openalex.org/W2079877139","https://openalex.org/W2103318645","https://openalex.org/W2111996055","https://openalex.org/W2113964673","https://openalex.org/W2122312154","https://openalex.org/W2133662847","https://openalex.org/W2140611647","https://openalex.org/W2151320244","https://openalex.org/W2151562310","https://openalex.org/W2156858199","https://openalex.org/W2159080219","https://openalex.org/W2164726441","https://openalex.org/W2169447051","https://openalex.org/W2297774820","https://openalex.org/W2619331983","https://openalex.org/W2749587018","https://openalex.org/W2762682773","https://openalex.org/W2798352717","https://openalex.org/W2799226481","https://openalex.org/W2954738632","https://openalex.org/W2977998442","https://openalex.org/W3020913839","https://openalex.org/W3137596000","https://openalex.org/W4234020632","https://openalex.org/W4242377092","https://openalex.org/W4247889999","https://openalex.org/W4252015082","https://openalex.org/W4300810260"],"related_works":["https://openalex.org/W1983393909","https://openalex.org/W2040150569","https://openalex.org/W2468095590","https://openalex.org/W2132174924","https://openalex.org/W1911540634","https://openalex.org/W2013909972","https://openalex.org/W2151959678","https://openalex.org/W2914996832","https://openalex.org/W2183150436","https://openalex.org/W4256009702"],"abstract_inverted_index":{"The":[0,122],"two":[1],"broad":[2],"approaches":[3],"to":[4,60,72,87,104,119,127,150,159],"discover":[5],"properties":[6],"of":[7,30,36,64],"programs---static":[8],"and":[9,19,39,83,109,137,155],"dynamic":[10,28],"analyses---have":[11],"complementary":[12],"strengths:":[13],"static":[14,66,81],"techniques":[15],"perform":[16],"exhaustive":[17],"exploration":[18],"prove":[20],"upper":[21],"bounds":[22],"on":[23],"program":[24,71],"behaviors,":[25],"while":[26],"the":[27,62,70,80,95,99,111,114,142,151],"analysis":[29],"test":[31,58],"cases":[32],"provides":[33,138],"concrete":[34],"evidence":[35],"these":[37,85],"behaviors":[38,77],"promise":[40],"low":[41],"false":[42],"alarm":[43,91,100,144,164],"rates.":[44],"In":[45],"this":[46],"paper,":[47],"we":[48],"present":[49],"DynaBoost,":[50],"a":[51,65,89,106],"system":[52,112,124],"which":[53],"uses":[54],"information":[55,129],"obtained":[56],"from":[57],"executions":[59],"prioritize":[61],"alarms":[63,116],"analyzer.":[67],"We":[68],"instrument":[69],"dynamically":[73],"look":[74],"for":[75],"dataflow":[76],"predicted":[78],"by":[79,135,147,156],"analyzer,":[82],"use":[84],"results":[86],"bootstrap":[88],"probabilistic":[90],"ranking":[92,153],"system,":[93,154],"where":[94,110],"user":[96,120],"repeatedly":[97],"inspects":[98],"judged":[101],"most":[102],"likely":[103],"be":[105,132],"real":[107],"bug,":[108],"re-ranks":[113],"remaining":[115],"in":[117,141],"response":[118],"feedback.":[121],"combined":[123],"is":[125],"able":[126],"exploit":[128],"that":[130],"cannot":[131],"easily":[133],"provided":[134],"users,":[136],"significant":[139],"improvements":[140],"human":[143],"inspection":[145],"burden:":[146],"35%":[148],"compared":[149,158],"baseline":[152],"89%":[157],"an":[160],"unaided":[161],"programmer":[162],"triaging":[163],"reports.":[165]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}