{"id":"https://openalex.org/W4384345717","doi":"https://doi.org/10.1109/icse48619.2023.00056","title":"ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis","display_name":"ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis","publication_year":2023,"publication_date":"2023-05-01","ids":{"openalex":"https://openalex.org/W4384345717","doi":"https://doi.org/10.1109/icse48619.2023.00056"},"language":"en","primary_location":{"id":"doi:10.1109/icse48619.2023.00056","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse48619.2023.00056","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)","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/A5019029870","display_name":"Austin Mordahl","orcid":"https://orcid.org/0000-0003-3031-8848"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Austin Mordahl","raw_affiliation_strings":["The University of Texas at Dallas,Department of Computer Science,Richardson,TX,USA","Department of Computer Science, The University of Texas at Dallas, Richardson, TX, USA"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Dallas,Department of Computer Science,Richardson,TX,USA","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"Department of Computer Science, The University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034622192","display_name":"Zenong Zhang","orcid":"https://orcid.org/0000-0002-3811-675X"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zenong Zhang","raw_affiliation_strings":["The University of Texas at Dallas,Department of Computer Science,Richardson,TX,USA","Department of Computer Science, The University of Texas at Dallas, Richardson, TX, USA"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Dallas,Department of Computer Science,Richardson,TX,USA","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"Department of Computer Science, The University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092472975","display_name":"Dakota Soles","orcid":null},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dakota Soles","raw_affiliation_strings":["The University of Texas at Dallas,Department of Computer Science,Richardson,TX,USA","Department of Computer Science, The University of Texas at Dallas, Richardson, TX, USA"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Dallas,Department of Computer Science,Richardson,TX,USA","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"Department of Computer Science, The University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033317811","display_name":"Shiyi Wei","orcid":"https://orcid.org/0000-0002-2826-1857"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shiyi Wei","raw_affiliation_strings":["The University of Texas at Dallas,Department of Computer Science,Richardson,TX,USA","Department of Computer Science, The University of Texas at Dallas, Richardson, TX, USA"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Dallas,Department of Computer Science,Richardson,TX,USA","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"Department of Computer Science, The University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5019029870"],"corresponding_institution_ids":["https://openalex.org/I162577319"],"apc_list":null,"apc_paid":null,"fwci":1.5089,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.88710141,"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":"550","last_page":"562"},"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/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/debugging","display_name":"Debugging","score":0.9077811241149902},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.8636221885681152},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8238940238952637},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7745850682258606},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6078288555145264},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5634480714797974},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.5439493656158447},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.49122756719589233},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.42708003520965576},{"id":"https://openalex.org/keywords/algorithmic-program-debugging","display_name":"Algorithmic program debugging","score":0.4230967164039612},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.41748276352882385},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36723262071609497},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.16028952598571777}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9077811241149902},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.8636221885681152},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8238940238952637},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7745850682258606},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6078288555145264},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5634480714797974},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5439493656158447},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.49122756719589233},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.42708003520965576},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.4230967164039612},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.41748276352882385},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36723262071609497},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.16028952598571777},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icse48619.2023.00056","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse48619.2023.00056","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1440518717","display_name":null,"funder_award_id":"CCF-2047682,CCF-2008905","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W148396834","https://openalex.org/W202191487","https://openalex.org/W1536098516","https://openalex.org/W1974608873","https://openalex.org/W1987035533","https://openalex.org/W2017025011","https://openalex.org/W2051600169","https://openalex.org/W2075699551","https://openalex.org/W2080573945","https://openalex.org/W2080696000","https://openalex.org/W2095445208","https://openalex.org/W2104959783","https://openalex.org/W2121217767","https://openalex.org/W2142194171","https://openalex.org/W2143431852","https://openalex.org/W2151562310","https://openalex.org/W2162544703","https://openalex.org/W2166091242","https://openalex.org/W2166743230","https://openalex.org/W2170224888","https://openalex.org/W2171240827","https://openalex.org/W2296335794","https://openalex.org/W2527850347","https://openalex.org/W2782311202","https://openalex.org/W2788364546","https://openalex.org/W2796301966","https://openalex.org/W2853432192","https://openalex.org/W2901765484","https://openalex.org/W2959352824","https://openalex.org/W2964175311","https://openalex.org/W2967352598","https://openalex.org/W2997653900","https://openalex.org/W2998740266","https://openalex.org/W3007855180","https://openalex.org/W3008797115","https://openalex.org/W3100790177","https://openalex.org/W3102504333","https://openalex.org/W3180445586","https://openalex.org/W3194771370","https://openalex.org/W4238956019","https://openalex.org/W4251478049","https://openalex.org/W4281713017","https://openalex.org/W6697144307","https://openalex.org/W6774112282"],"related_works":["https://openalex.org/W4213243744","https://openalex.org/W2751940653","https://openalex.org/W4233410239","https://openalex.org/W3196559688","https://openalex.org/W2891085887","https://openalex.org/W2078393527","https://openalex.org/W4250848060","https://openalex.org/W2125343911","https://openalex.org/W3003055204","https://openalex.org/W4384302888"],"abstract_inverted_index":{"Testing":[0],"and":[1,23,125,143,161,197],"debugging":[2],"the":[3,36,48,54,58,71,78,111,158,180,184],"implementation":[4],"of":[5,38,50,57,73,89],"static":[6,42,79,90,120,137],"analysis":[7,121,138],"is":[8,53],"a":[9,21],"challenging":[10],"task,":[11],"often":[12],"involving":[13],"significant":[14],"manual":[15],"effort":[16],"from":[17,76],"domain":[18],"experts":[19],"in":[20,102,157,173],"tedious":[22],"unprincipled":[24],"process.":[25],"In":[26],"this":[27,39,116],"work,":[28],"we":[29,123,177],"propose":[30],"an":[31,128],"approach":[32,52,117],"that":[33,63],"greatly":[34],"improves":[35],"automation":[37],"process":[40],"for":[41,86],"analyzers":[43,91],"with":[44,81,92],"configuration":[45],"options.":[46],"At":[47],"core":[49],"our":[51],"novel":[55],"adaptation":[56],"theoretical":[59],"partial":[60,154],"order":[61,155],"relations":[62],"exist":[64],"between":[65],"these":[66],"options":[67],"to":[68,118,166,202],"reason":[69],"about":[70],"correctness":[72],"actual":[74],"results":[75],"running":[77,150],"analyzer":[80],"different":[82],"configurations.":[83],"This":[84],"allows":[85],"automated":[87,98],"testing":[88],"clearly":[93],"defined":[94,109],"oracles,":[95],"followed":[96],"by":[97],"delta":[99],"debugging,":[100],"even":[101],"cases":[103,175],"where":[104,176],"ground":[105],"truths":[106],"are":[107,199],"not":[108],"over":[110],"input":[112],"programs.":[113],"To":[114],"apply":[115],"many":[119],"tools,":[122,139],"design":[124],"implement":[126],"ECSTATIC,":[127],"easy-to-extend,":[129],"open-source":[130],"framework.":[131],"We":[132,169],"have":[133,194],"integrated":[134],"four":[135,159],"popular":[136],"SOOT,":[140],"WALA,":[141],"DOOP,":[142],"FlowDroid,":[144],"into":[145],"ECSTATIC.":[146],"Our":[147],"evaluation":[148],"shows":[149],"ECSTATIC":[151],"detects":[152],"74":[153],"bugs":[156,193],"tools":[160],"produces":[162],"reduced":[163],"bug-inducing":[164],"programs":[165],"assist":[167],"debugging.":[168],"reported":[170,185],"42":[171],"bugs;":[172],"all":[174],"received":[178],"responses,":[179],"tool":[181,186],"developers":[182],"confirmed":[183],"behavior":[187],"was":[188],"unintended.":[189],"So":[190],"far,":[191],"three":[192],"been":[195],"fixed":[196],"there":[198],"ongoing":[200],"discussions":[201],"fix":[203],"more.":[204]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}