{"id":"https://openalex.org/W4308643046","doi":"https://doi.org/10.1145/3540250.3549129","title":"Large-scale analysis of non-termination bugs in real-world OSS projects","display_name":"Large-scale analysis of non-termination bugs in real-world OSS projects","publication_year":2022,"publication_date":"2022-11-07","ids":{"openalex":"https://openalex.org/W4308643046","doi":"https://doi.org/10.1145/3540250.3549129"},"language":"en","primary_location":{"id":"doi:10.1145/3540250.3549129","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3540250.3549129","pdf_url":null,"source":{"id":"https://openalex.org/S4363608883","display_name":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th ACM Joint 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":"green","oa_url":"https://ink.library.smu.edu.sg/sis_research/7496","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030420722","display_name":"Xiuhan Shi","orcid":null},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiuhan Shi","raw_affiliation_strings":["Tianjin University, China"],"affiliations":[{"raw_affiliation_string":"Tianjin University, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084396416","display_name":"Xiaofei Xie","orcid":"https://orcid.org/0000-0002-1288-6502"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Xiaofei Xie","raw_affiliation_strings":["Singapore Management University, Singapore"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100421812","display_name":"Yi Li","orcid":"https://orcid.org/0000-0003-4562-8208"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yi Li","raw_affiliation_strings":["Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100446990","display_name":"Yao Zhang","orcid":"https://orcid.org/0000-0002-7375-9152"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yao Zhang","raw_affiliation_strings":["Tianjin University, China"],"affiliations":[{"raw_affiliation_string":"Tianjin University, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100658276","display_name":"Sen Chen","orcid":"https://orcid.org/0000-0001-9477-4100"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Sen Chen","raw_affiliation_strings":["Tianjin University, China"],"affiliations":[{"raw_affiliation_string":"Tianjin University, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100451509","display_name":"Xiaohong Li","orcid":"https://orcid.org/0000-0002-0752-6764"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaohong Li","raw_affiliation_strings":["Tianjin University, China"],"affiliations":[{"raw_affiliation_string":"Tianjin University, China","institution_ids":["https://openalex.org/I162868743"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5030420722"],"corresponding_institution_ids":["https://openalex.org/I162868743"],"apc_list":null,"apc_paid":null,"fwci":1.4591,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.85027885,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"256","last_page":"268"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994000196456909,"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/benchmark","display_name":"Benchmark (surveying)","score":0.7259177565574646},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7183733582496643},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7160133123397827},{"id":"https://openalex.org/keywords/root-cause","display_name":"Root cause","score":0.6603422164916992},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.6388392448425293},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.5112378597259521},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4677662253379822},{"id":"https://openalex.org/keywords/root-cause-analysis","display_name":"Root cause analysis","score":0.46436095237731934},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3561546802520752},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3276819586753845},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2793058753013611},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18691766262054443},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.15559598803520203},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14726629853248596},{"id":"https://openalex.org/keywords/cartography","display_name":"Cartography","score":0.06362172961235046}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.7259177565574646},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7183733582496643},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7160133123397827},{"id":"https://openalex.org/C84945661","wikidata":"https://www.wikidata.org/wiki/Q7366567","display_name":"Root cause","level":2,"score":0.6603422164916992},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.6388392448425293},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.5112378597259521},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4677662253379822},{"id":"https://openalex.org/C130963320","wikidata":"https://www.wikidata.org/wiki/Q1401207","display_name":"Root cause analysis","level":2,"score":0.46436095237731934},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3561546802520752},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3276819586753845},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2793058753013611},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18691766262054443},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.15559598803520203},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14726629853248596},{"id":"https://openalex.org/C58640448","wikidata":"https://www.wikidata.org/wiki/Q42515","display_name":"Cartography","level":1,"score":0.06362172961235046},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3540250.3549129","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3540250.3549129","pdf_url":null,"source":{"id":"https://openalex.org/S4363608883","display_name":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-8499","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/7496","pdf_url":null,"source":{"id":"https://openalex.org/S4377196871","display_name":"Institutional Knowledge (InK) - Institutional Knowledge at Singapore Management University (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://doi.org/10.1145/3540250.3549129","raw_type":"Conference Proceeding Article"}],"best_oa_location":{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-8499","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/7496","pdf_url":null,"source":{"id":"https://openalex.org/S4377196871","display_name":"Institutional Knowledge (InK) - Institutional Knowledge at Singapore Management University (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://doi.org/10.1145/3540250.3549129","raw_type":"Conference Proceeding Article"},"sustainable_development_goals":[{"score":0.4699999988079071,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G2928400874","display_name":null,"funder_award_id":"61872262","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W1496468608","https://openalex.org/W1499072146","https://openalex.org/W1530375435","https://openalex.org/W1597204268","https://openalex.org/W1613817315","https://openalex.org/W1968428133","https://openalex.org/W1975761003","https://openalex.org/W1996245589","https://openalex.org/W2022429945","https://openalex.org/W2036804865","https://openalex.org/W2088181608","https://openalex.org/W2095839586","https://openalex.org/W2101161997","https://openalex.org/W2115215132","https://openalex.org/W2136333450","https://openalex.org/W2161253570","https://openalex.org/W2289508129","https://openalex.org/W2381207137","https://openalex.org/W2494794899","https://openalex.org/W2506495985","https://openalex.org/W2546918856","https://openalex.org/W2621026180","https://openalex.org/W2740880011","https://openalex.org/W2755806184","https://openalex.org/W2778319809","https://openalex.org/W2784669118","https://openalex.org/W2885043017","https://openalex.org/W2888471092","https://openalex.org/W2896963929","https://openalex.org/W2899424311","https://openalex.org/W2968594320","https://openalex.org/W3019415692","https://openalex.org/W3090561201","https://openalex.org/W3090910431","https://openalex.org/W3102181655","https://openalex.org/W3105413283","https://openalex.org/W3108936444","https://openalex.org/W3125230538","https://openalex.org/W3136521622","https://openalex.org/W3166575995","https://openalex.org/W3203488487","https://openalex.org/W4236847445","https://openalex.org/W4300923428","https://openalex.org/W4313563659","https://openalex.org/W6927563547"],"related_works":["https://openalex.org/W3194833114","https://openalex.org/W4205868343","https://openalex.org/W2030594396","https://openalex.org/W2754538212","https://openalex.org/W4200610016","https://openalex.org/W3045668461","https://openalex.org/W2490884653","https://openalex.org/W4255366506","https://openalex.org/W2183996497","https://openalex.org/W2624149531"],"abstract_inverted_index":{"Termination":[0],"is":[1],"a":[2,39,127,140,152,163],"crucial":[3],"program":[4],"property.":[5],"Non-termination":[6],"bugs":[7,76,102,120,132,147,161,235],"can":[8],"be":[9,80],"subtle":[10],"to":[11,79,191],"detect":[12],"and":[13,54,59,116,125,158,162,208,228],"may":[14],"remain":[15],"hidden":[16],"for":[17,47,232],"long":[18],"before":[19],"they":[20],"take":[21],"effect.":[22],"Many":[23,50],"real-world":[24,83,104,146,237],"programs":[25],"still":[26],"suffer":[27],"from":[28,121],"vast":[29],"consequences":[30],"(e.g.,":[31],"no":[32],"response)":[33],"caused":[34],"by":[35,214],"non-termination":[36,75,101,119,153,160,234],"bugs.":[37,222],"As":[38],"classic":[40],"problem,":[41],"termination":[42,51,164,178],"proving":[43],"has":[44,77],"been":[45,57],"studied":[46],"many":[48],"years.":[49],"checking":[52],"tools":[53,71,190,212],"techniques":[55],"have":[56,195],"developed":[58],"demonstrated":[60],"effectiveness":[61],"on":[62,82,134],"existing":[63,201],"well-established":[64],"benchmarks.":[65,202],"However,":[66],"the":[67,95,131,145,171,185,188,200,206,216,226],"capability":[68],"of":[69,100,130,187,219],"these":[70,211],"in":[72,87,90,103,114,236],"finding":[73],"practical":[74],"yet":[78],"tested":[81,189],"projects.":[84,106,238],"To":[85],"fill":[86],"this":[88,91],"gap,":[89],"paper,":[92],"we":[93,108,174,204,224],"conducted":[94],"first":[96,109],"large-scale":[97],"empirical":[98],"study":[99],"OSS":[105],"Specifically,":[107],"devoted":[110],"substantial":[111],"manual":[112],"efforts":[113],"collecting":[115],"analyzing":[117,215],"445":[118],"3,142":[122],"GitHub":[123],"commits":[124],"provided":[126],"systematic":[128],"classifi-cation":[129],"based":[133],"their":[135,220],"root":[136,217],"causes.":[137],"We":[138],"constructed":[139,172],"new":[141],"benchmark":[142],"set":[143],"characterizing":[144],"with":[148,155,166,199],"simplified":[149],"programs,":[150],"including":[151],"dataset":[154,165],"56":[156],"real":[157],"reproducible":[159],"58":[167],"fixed":[168],"programs.":[169],"With":[170],"benchmark,":[173],"evaluated":[175],"five":[176],"state-of-the-art":[177],"analysis":[179],"tools.":[180],"The":[181],"results":[182],"show":[183],"that":[184,210],"capabilities":[186],"make":[192],"correct":[193],"verdicts":[194],"obviously":[196],"dropped":[197],"compared":[198],"Meanwhile,":[203],"identified":[205],"challenges":[207,227],"limitations":[209],"face":[213],"causes":[218],"unhandled":[221],"Fi-nally,":[223],"summarized":[225],"future":[229],"research":[230],"directions":[231],"detecting":[233]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}