Matches in SemOpenAlex for { <https://semopenalex.org/work/W4308643046> ?p ?o ?g. }
- W4308643046 abstract "Termination is a crucial program property. Non-termination bugs can be subtle to detect and may remain hidden for long before they take effect. Many real-world programs still suffer from vast consequences (e.g., no response) caused by non-termination bugs. As a classic problem, termination proving has been studied for many years. Many termination checking tools and techniques have been developed and demonstrated effectiveness on existing well-established benchmarks. However, the capability of these tools in finding practical non-termination bugs has yet to be tested on real-world projects. To fill in this gap, in this paper, we conducted the first large-scale empirical study of non-termination bugs in real-world OSS projects. Specifically, we first devoted substantial manual efforts in collecting and analyzing 445 non-termination bugs from 3,142 GitHub commits and provided a systematic classifi-cation of the bugs based on their root causes. We constructed a new benchmark set characterizing the real-world bugs with simplified programs, including a non-termination dataset with 56 real and reproducible non-termination bugs and a termination dataset with 58 fixed programs. With the constructed benchmark, we evaluated five state-of-the-art termination analysis tools. The results show that the capabilities of the tested tools to make correct verdicts have obviously dropped compared with the existing benchmarks. Meanwhile, we identified the challenges and limitations that these tools face by analyzing the root causes of their unhandled bugs. Fi-nally, we summarized the challenges and future research directions for detecting non-termination bugs in real-world projects." @default.
- W4308643046 created "2022-11-13" @default.
- W4308643046 creator A5029067537 @default.
- W4308643046 creator A5030420722 @default.
- W4308643046 creator A5064842058 @default.
- W4308643046 creator A5080577523 @default.
- W4308643046 creator A5083729859 @default.
- W4308643046 creator A5084396416 @default.
- W4308643046 date "2022-11-07" @default.
- W4308643046 modified "2023-09-25" @default.
- W4308643046 title "Large-scale analysis of non-termination bugs in real-world OSS projects" @default.
- W4308643046 cites W1597204268 @default.
- W4308643046 cites W1613817315 @default.
- W4308643046 cites W1968428133 @default.
- W4308643046 cites W1975761003 @default.
- W4308643046 cites W1996245589 @default.
- W4308643046 cites W2022429945 @default.
- W4308643046 cites W2036804865 @default.
- W4308643046 cites W2088181608 @default.
- W4308643046 cites W2095839586 @default.
- W4308643046 cites W2101161997 @default.
- W4308643046 cites W2289508129 @default.
- W4308643046 cites W2381207137 @default.
- W4308643046 cites W2494794899 @default.
- W4308643046 cites W2506495985 @default.
- W4308643046 cites W2546918856 @default.
- W4308643046 cites W2621026180 @default.
- W4308643046 cites W2740880011 @default.
- W4308643046 cites W2755806184 @default.
- W4308643046 cites W2778319809 @default.
- W4308643046 cites W2784669118 @default.
- W4308643046 cites W2888471092 @default.
- W4308643046 cites W2896963929 @default.
- W4308643046 cites W2899424311 @default.
- W4308643046 cites W2968594320 @default.
- W4308643046 cites W3019415692 @default.
- W4308643046 cites W3090561201 @default.
- W4308643046 cites W3090910431 @default.
- W4308643046 cites W3102181655 @default.
- W4308643046 cites W3108936444 @default.
- W4308643046 cites W3125230538 @default.
- W4308643046 cites W3166575995 @default.
- W4308643046 cites W3203488487 @default.
- W4308643046 cites W4236847445 @default.
- W4308643046 cites W4313563659 @default.
- W4308643046 doi "https://doi.org/10.1145/3540250.3549129" @default.
- W4308643046 hasPublicationYear "2022" @default.
- W4308643046 type Work @default.
- W4308643046 citedByCount "1" @default.
- W4308643046 countsByYear W43086430462023 @default.
- W4308643046 crossrefType "proceedings-article" @default.
- W4308643046 hasAuthorship W4308643046A5029067537 @default.
- W4308643046 hasAuthorship W4308643046A5030420722 @default.
- W4308643046 hasAuthorship W4308643046A5064842058 @default.
- W4308643046 hasAuthorship W4308643046A5080577523 @default.
- W4308643046 hasAuthorship W4308643046A5083729859 @default.
- W4308643046 hasAuthorship W4308643046A5084396416 @default.
- W4308643046 hasBestOaLocation W43086430462 @default.
- W4308643046 hasConcept C1009929 @default.
- W4308643046 hasConcept C115903868 @default.
- W4308643046 hasConcept C127413603 @default.
- W4308643046 hasConcept C130963320 @default.
- W4308643046 hasConcept C168065819 @default.
- W4308643046 hasConcept C177264268 @default.
- W4308643046 hasConcept C185798385 @default.
- W4308643046 hasConcept C199360897 @default.
- W4308643046 hasConcept C200601418 @default.
- W4308643046 hasConcept C205649164 @default.
- W4308643046 hasConcept C2777904410 @default.
- W4308643046 hasConcept C2778755073 @default.
- W4308643046 hasConcept C41008148 @default.
- W4308643046 hasConcept C58640448 @default.
- W4308643046 hasConcept C84945661 @default.
- W4308643046 hasConceptScore W4308643046C1009929 @default.
- W4308643046 hasConceptScore W4308643046C115903868 @default.
- W4308643046 hasConceptScore W4308643046C127413603 @default.
- W4308643046 hasConceptScore W4308643046C130963320 @default.
- W4308643046 hasConceptScore W4308643046C168065819 @default.
- W4308643046 hasConceptScore W4308643046C177264268 @default.
- W4308643046 hasConceptScore W4308643046C185798385 @default.
- W4308643046 hasConceptScore W4308643046C199360897 @default.
- W4308643046 hasConceptScore W4308643046C200601418 @default.
- W4308643046 hasConceptScore W4308643046C205649164 @default.
- W4308643046 hasConceptScore W4308643046C2777904410 @default.
- W4308643046 hasConceptScore W4308643046C2778755073 @default.
- W4308643046 hasConceptScore W4308643046C41008148 @default.
- W4308643046 hasConceptScore W4308643046C58640448 @default.
- W4308643046 hasConceptScore W4308643046C84945661 @default.
- W4308643046 hasFunder F4320321001 @default.
- W4308643046 hasLocation W43086430461 @default.
- W4308643046 hasLocation W43086430462 @default.
- W4308643046 hasOpenAccess W4308643046 @default.
- W4308643046 hasPrimaryLocation W43086430461 @default.
- W4308643046 hasRelatedWork W134722953 @default.
- W4308643046 hasRelatedWork W1969981172 @default.
- W4308643046 hasRelatedWork W2023490832 @default.
- W4308643046 hasRelatedWork W2793317393 @default.
- W4308643046 hasRelatedWork W2949451752 @default.
- W4308643046 hasRelatedWork W2991130147 @default.
- W4308643046 hasRelatedWork W3023238788 @default.