{"id":"https://openalex.org/W2964175311","doi":"https://doi.org/10.1109/tse.2018.2868349","title":"Debugging Static Analysis","display_name":"Debugging Static Analysis","publication_year":2018,"publication_date":"2018-09-03","ids":{"openalex":"https://openalex.org/W2964175311","doi":"https://doi.org/10.1109/tse.2018.2868349","mag":"2964175311"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2018.2868349","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2018.2868349","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","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/A5037366470","display_name":"Lisa Nguyen Quang","orcid":"https://orcid.org/0000-0003-3146-7968"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Lisa Nguyen Quang Do","raw_affiliation_strings":["Paderborn University, Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"Paderborn University, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067921018","display_name":"Stefan Kr\u00fcger","orcid":"https://orcid.org/0000-0003-0895-8830"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Kr\u00fcger","raw_affiliation_strings":["Paderborn University, Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"Paderborn University, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036120539","display_name":"Patrick L. Hill","orcid":"https://orcid.org/0000-0001-5902-6051"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Patrick Hill","raw_affiliation_strings":["Paderborn University, Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"Paderborn University, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038781215","display_name":"Karim Ali","orcid":"https://orcid.org/0000-0002-5516-1376"},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Karim Ali","raw_affiliation_strings":["University of Alberta, Edmonton, AB, Canada"],"affiliations":[{"raw_affiliation_string":"University of Alberta, Edmonton, AB, Canada","institution_ids":["https://openalex.org/I154425047"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076678278","display_name":"Eric Bodden","orcid":"https://orcid.org/0000-0003-3470-3647"},"institutions":[{"id":"https://openalex.org/I4210093498","display_name":"Fraunhofer Institute for Mechatronic Systems Design","ror":"https://ror.org/004nttc42","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210093498","https://openalex.org/I4923324"]},{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Eric Bodden","raw_affiliation_strings":["Paderborn University & Fraunhofer IEM, Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"Paderborn University & Fraunhofer IEM, Paderborn, Germany","institution_ids":["https://openalex.org/I4210093498","https://openalex.org/I206945453"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5037366470"],"corresponding_institution_ids":["https://openalex.org/I206945453"],"apc_list":null,"apc_paid":null,"fwci":2.3561,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.92020094,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"46","issue":"7","first_page":"697","last_page":"709"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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.9994000196456909,"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/static-analysis","display_name":"Static analysis","score":0.888830304145813},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8739272356033325},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8662301301956177},{"id":"https://openalex.org/keywords/debugger","display_name":"Debugger","score":0.7716351747512817},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.731127917766571},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.626960277557373},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5883702039718628},{"id":"https://openalex.org/keywords/algorithmic-program-debugging","display_name":"Algorithmic program debugging","score":0.524440586566925},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4815690517425537},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.45353153347969055},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.44505181908607483},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.4427807331085205},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4319908618927002},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.4319627583026886},{"id":"https://openalex.org/keywords/taint-checking","display_name":"Taint checking","score":0.42078298330307007},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4038574993610382},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.24456417560577393},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2266935408115387},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.21046790480613708},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.16207817196846008}],"concepts":[{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.888830304145813},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8739272356033325},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8662301301956177},{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.7716351747512817},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.731127917766571},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.626960277557373},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5883702039718628},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.524440586566925},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4815690517425537},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.45353153347969055},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.44505181908607483},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.4427807331085205},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4319908618927002},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.4319627583026886},{"id":"https://openalex.org/C63116202","wikidata":"https://www.wikidata.org/wiki/Q7676227","display_name":"Taint checking","level":3,"score":0.42078298330307007},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4038574993610382},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.24456417560577393},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2266935408115387},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.21046790480613708},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.16207817196846008},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tse.2018.2868349","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2018.2868349","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:fraunhofer.de:N-602738","is_oa":false,"landing_page_url":"http://publica.fraunhofer.de/documents/N-602738.html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400801","display_name":"Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fraunhofer IEM","raw_type":"Journal Article"},{"id":"pmh:oai:publica.fraunhofer.de:publica/264401","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/264401","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"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":"journal article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320320915","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052"},{"id":"https://openalex.org/F4320324816","display_name":"Universit\u00e4t Paderborn","ror":"https://ror.org/058kzsd48"},{"id":"https://openalex.org/F4320330076","display_name":"Heinz Nixdorf Stiftung","ror":"https://ror.org/04j2tkk21"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1536265389","https://openalex.org/W1571270892","https://openalex.org/W1673079227","https://openalex.org/W1989657183","https://openalex.org/W2004362216","https://openalex.org/W2013743689","https://openalex.org/W2022043656","https://openalex.org/W2028435315","https://openalex.org/W2057796693","https://openalex.org/W2063952424","https://openalex.org/W2071353749","https://openalex.org/W2083000170","https://openalex.org/W2098337300","https://openalex.org/W2105285801","https://openalex.org/W2134840436","https://openalex.org/W2157922094","https://openalex.org/W2164777277","https://openalex.org/W2170224888","https://openalex.org/W2320107880","https://openalex.org/W2514084604","https://openalex.org/W2519392667","https://openalex.org/W2546866077","https://openalex.org/W2621980927","https://openalex.org/W2782743876","https://openalex.org/W2992906311","https://openalex.org/W3163215105","https://openalex.org/W3193895586","https://openalex.org/W6603229541","https://openalex.org/W6637072117","https://openalex.org/W6665138477"],"related_works":["https://openalex.org/W2801084903","https://openalex.org/W4387146963","https://openalex.org/W2899875271","https://openalex.org/W68341597","https://openalex.org/W2167227332","https://openalex.org/W2163352147","https://openalex.org/W2119199043","https://openalex.org/W4320152591","https://openalex.org/W645308258","https://openalex.org/W4212926335"],"abstract_inverted_index":{"Static":[0],"analysis":[1,105,119,170,194],"is":[2,39],"increasingly":[3],"used":[4,51,128],"by":[5,129],"companies":[6],"and":[7,13,16,33,50,61,107,116,158,186],"individual":[8],"code":[9,30,37,106,109,124,195],"developers":[10],"to":[11,27,42,88,136,164,197],"detect":[12],"fix":[14,187],"bugs":[15],"security":[17],"vulnerabilities.":[18],"As":[19],"programs":[20],"grow":[21],"more":[22,45,190],"complex,":[23],"the":[24,57,69,85,104,108,113,118,134,166,193,198],"analyses":[25,47,111],"have":[26],"support":[28],"new":[29],"concepts,":[31],"frameworks":[32],"libraries.":[34],"However,":[35],"static-analysis":[36,78,180],"itself":[38],"also":[40,64],"prone":[41],"bugs.":[43],"While":[44],"complex":[46],"are":[48],"written":[49],"in":[52,192],"production":[53],"systems":[54],"every":[55],"day,":[56],"cost":[58],"of":[59,71,168],"debugging":[60,72,148,201],"fixing":[62],"them":[63],"increases":[65],"tremendously.":[66],"To":[67],"understand":[68],"difficulties":[70],"static":[73,93,151],"analysis,":[74],"we":[75,83,144],"surveyed":[76],"115":[77],"writers.":[79],"From":[80],"their":[81],"responses,":[82],"determined":[84],"core":[86],"requirements":[87],"build":[89],"a":[90,147,175],"debugger":[91],"for":[92,150],"analyses,":[94],"which":[95],"revolve":[96],"around":[97],"two":[98],"main":[99],"issues:":[100],"abstracting":[101],"from":[102],"both":[103,123,138],"it":[110],"at":[112,171],"same":[114],"time,":[115],"tracking":[117],"internal":[120],"state":[121,167],"throughout":[122],"bases.":[125],"Most":[126],"tools":[127],"our":[130],"survey":[131],"participants":[132],"lack":[133],"capabilities":[135],"address":[137],"issues.":[139],"Focusing":[140],"on":[141,178],"those":[142],"requirements,":[143],"introduce":[145],"Visuflow,":[146],"environment":[149],"data-flow":[152],"analysis.":[153],"Visuflow":[154,182],"features":[155],"graph":[156],"visualizations":[157],"custom":[159],"breakpoints":[160],"that":[161],"enable":[162],"users":[163],"view":[165],"an":[169],"any":[172],"time.":[173],"In":[174],"user":[176],"study":[177],"20":[179],"writers,":[181],"helped":[183],"identify":[184],"25":[185],"50":[188],"percent":[189],"errors":[191],"compared":[196],"standard":[199],"Eclipse":[200],"environment.":[202]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":6},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2019-07-30T00:00:00"}