Matches in SemOpenAlex for { <https://semopenalex.org/work/W3166455785> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3166455785 abstract "In this paper, we propose an effective concurrency bug testing approach that focuses on suspicious bug-causing code regions instead of indiscriminately testing the whole program. Additionally, with a simple loop heuristic, the region-based approach effectively avoids the state explosion problem. It is highly efficient while guaranteeing to find any existing concurrency bugs in the specified code regions. We also devise an optimization scheme to reduce the number of interleavings to be examined to achieve maximum efficiency. Our method can conveniently identify bug-causing interleavings and hence significantly improve debugging efficiency. We have implemented the proposed approach and successfully tested on a few large application cases. The experimental results show that the approach can precisely identify bug sources and perform much more effectively than traditional approaches." @default.
- W3166455785 created "2021-06-22" @default.
- W3166455785 creator A5046952008 @default.
- W3166455785 creator A5055420376 @default.
- W3166455785 creator A5087961091 @default.
- W3166455785 date "2020-12-01" @default.
- W3166455785 modified "2023-09-25" @default.
- W3166455785 title "A Heuristic Region-based Concurrency Bug Testing Approach" @default.
- W3166455785 cites W1868584616 @default.
- W3166455785 cites W1977338805 @default.
- W3166455785 cites W2009489720 @default.
- W3166455785 cites W2013560272 @default.
- W3166455785 cites W2017560506 @default.
- W3166455785 cites W2025819261 @default.
- W3166455785 cites W2033546932 @default.
- W3166455785 cites W2065675749 @default.
- W3166455785 cites W2087527532 @default.
- W3166455785 cites W2101161997 @default.
- W3166455785 cites W2101512909 @default.
- W3166455785 cites W2110852599 @default.
- W3166455785 cites W2111413199 @default.
- W3166455785 cites W2115015193 @default.
- W3166455785 cites W2130729525 @default.
- W3166455785 cites W2135948849 @default.
- W3166455785 cites W2137861430 @default.
- W3166455785 cites W2148011508 @default.
- W3166455785 cites W2166841005 @default.
- W3166455785 cites W2169870841 @default.
- W3166455785 cites W2285599141 @default.
- W3166455785 cites W2466104094 @default.
- W3166455785 cites W2756868382 @default.
- W3166455785 cites W2887814217 @default.
- W3166455785 cites W2903402038 @default.
- W3166455785 cites W4233347627 @default.
- W3166455785 cites W4234066571 @default.
- W3166455785 cites W4242194760 @default.
- W3166455785 doi "https://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom51426.2020.00168" @default.
- W3166455785 hasPublicationYear "2020" @default.
- W3166455785 type Work @default.
- W3166455785 sameAs 3166455785 @default.
- W3166455785 citedByCount "1" @default.
- W3166455785 countsByYear W31664557852023 @default.
- W3166455785 crossrefType "proceedings-article" @default.
- W3166455785 hasAuthorship W3166455785A5046952008 @default.
- W3166455785 hasAuthorship W3166455785A5055420376 @default.
- W3166455785 hasAuthorship W3166455785A5087961091 @default.
- W3166455785 hasConcept C1009929 @default.
- W3166455785 hasConcept C120314980 @default.
- W3166455785 hasConcept C154945302 @default.
- W3166455785 hasConcept C168065819 @default.
- W3166455785 hasConcept C173608175 @default.
- W3166455785 hasConcept C173801870 @default.
- W3166455785 hasConcept C177264268 @default.
- W3166455785 hasConcept C193702766 @default.
- W3166455785 hasConcept C199360897 @default.
- W3166455785 hasConcept C2776760102 @default.
- W3166455785 hasConcept C2777904410 @default.
- W3166455785 hasConcept C41008148 @default.
- W3166455785 hasConceptScore W3166455785C1009929 @default.
- W3166455785 hasConceptScore W3166455785C120314980 @default.
- W3166455785 hasConceptScore W3166455785C154945302 @default.
- W3166455785 hasConceptScore W3166455785C168065819 @default.
- W3166455785 hasConceptScore W3166455785C173608175 @default.
- W3166455785 hasConceptScore W3166455785C173801870 @default.
- W3166455785 hasConceptScore W3166455785C177264268 @default.
- W3166455785 hasConceptScore W3166455785C193702766 @default.
- W3166455785 hasConceptScore W3166455785C199360897 @default.
- W3166455785 hasConceptScore W3166455785C2776760102 @default.
- W3166455785 hasConceptScore W3166455785C2777904410 @default.
- W3166455785 hasConceptScore W3166455785C41008148 @default.
- W3166455785 hasLocation W31664557851 @default.
- W3166455785 hasOpenAccess W3166455785 @default.
- W3166455785 hasPrimaryLocation W31664557851 @default.
- W3166455785 hasRelatedWork W1579177548 @default.
- W3166455785 hasRelatedWork W1587224678 @default.
- W3166455785 hasRelatedWork W1601811574 @default.
- W3166455785 hasRelatedWork W181842068 @default.
- W3166455785 hasRelatedWork W201088255 @default.
- W3166455785 hasRelatedWork W2095600927 @default.
- W3166455785 hasRelatedWork W2151898527 @default.
- W3166455785 hasRelatedWork W2344847417 @default.
- W3166455785 hasRelatedWork W4233982289 @default.
- W3166455785 hasRelatedWork W4234604123 @default.
- W3166455785 isParatext "false" @default.
- W3166455785 isRetracted "false" @default.
- W3166455785 magId "3166455785" @default.
- W3166455785 workType "article" @default.