Matches in SemOpenAlex for { <https://semopenalex.org/work/W2917604441> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2917604441 abstract "Summary Concurrency bugs, such as atomicity‐violation bugs, are difficult to detect due to the uncertainty of thread‐scheduling. It is particularly difficult to conduct a thorough bug fix when an atomicity‐violation bug can be triggered by different buggy interleavings. This paper proposes a prediction‐based approach to comprehensively detect atomicity‐violation bugs. A bug fix can be incomplete when the developer cannot have all the buggy interleavings. Based on the candidate interleavings, this approach can predict unmanifested atomicity‐violation bugs from a non‐buggy execution and comprehensively display all the buggy interleavings for the same bug to assist a thorough fix. We use a monitored execution to record execution traces and predict potential buggy interleavings based on the candidate interleavings identified from the trace. Then, we use controlled executions to verify the predicted buggy interleavings by controlling the thread‐scheduling. We implemented a prototype tool called AVPredictor and evaluated it with real‐world tests. Experiments show that AVPredictor can effectively find all the known atomicity‐violation bugs as well as a previously unknown bug together with all the buggy interleavings for each bug. The runtime overhead is 13x for the monitored execution and 18x for the controlled execution." @default.
- W2917604441 created "2019-03-02" @default.
- W2917604441 creator A5012979904 @default.
- W2917604441 creator A5018453698 @default.
- W2917604441 creator A5051125527 @default.
- W2917604441 creator A5056241360 @default.
- W2917604441 date "2019-02-20" @default.
- W2917604441 modified "2023-10-12" @default.
- W2917604441 title "AVPredictor: Comprehensive prediction and detection of atomicity violations" @default.
- W2917604441 cites W1546106366 @default.
- W2917604441 cites W1570482200 @default.
- W2917604441 cites W1977476643 @default.
- W2917604441 cites W2002126413 @default.
- W2917604441 cites W2010830544 @default.
- W2917604441 cites W2018949666 @default.
- W2917604441 cites W2045238089 @default.
- W2917604441 cites W2049461947 @default.
- W2917604441 cites W2065675749 @default.
- W2917604441 cites W2082766667 @default.
- W2917604441 cites W2093755302 @default.
- W2917604441 cites W2100505193 @default.
- W2917604441 cites W2101161997 @default.
- W2917604441 cites W2111413199 @default.
- W2917604441 cites W2111900492 @default.
- W2917604441 cites W2113027907 @default.
- W2917604441 cites W2120027538 @default.
- W2917604441 cites W2135395375 @default.
- W2917604441 cites W2135948849 @default.
- W2917604441 cites W2153229512 @default.
- W2917604441 cites W2154557525 @default.
- W2917604441 cites W2162630235 @default.
- W2917604441 cites W2171008784 @default.
- W2917604441 cites W2324975668 @default.
- W2917604441 cites W2763131031 @default.
- W2917604441 cites W3008771080 @default.
- W2917604441 cites W3014769903 @default.
- W2917604441 cites W3085225935 @default.
- W2917604441 cites W3142284768 @default.
- W2917604441 cites W3151416809 @default.
- W2917604441 cites W4239813889 @default.
- W2917604441 cites W4241129904 @default.
- W2917604441 cites W4243324871 @default.
- W2917604441 cites W4251803824 @default.
- W2917604441 cites W4254906220 @default.
- W2917604441 doi "https://doi.org/10.1002/cpe.5160" @default.
- W2917604441 hasPublicationYear "2019" @default.
- W2917604441 type Work @default.
- W2917604441 sameAs 2917604441 @default.
- W2917604441 citedByCount "5" @default.
- W2917604441 countsByYear W29176044412021 @default.
- W2917604441 countsByYear W29176044412022 @default.
- W2917604441 countsByYear W29176044412023 @default.
- W2917604441 crossrefType "journal-article" @default.
- W2917604441 hasAuthorship W2917604441A5012979904 @default.
- W2917604441 hasAuthorship W2917604441A5018453698 @default.
- W2917604441 hasAuthorship W2917604441A5051125527 @default.
- W2917604441 hasAuthorship W2917604441A5056241360 @default.
- W2917604441 hasBestOaLocation W29176044412 @default.
- W2917604441 hasConcept C138101251 @default.
- W2917604441 hasConcept C188045909 @default.
- W2917604441 hasConcept C193702766 @default.
- W2917604441 hasConcept C199360897 @default.
- W2917604441 hasConcept C41008148 @default.
- W2917604441 hasConcept C75949130 @default.
- W2917604441 hasConceptScore W2917604441C138101251 @default.
- W2917604441 hasConceptScore W2917604441C188045909 @default.
- W2917604441 hasConceptScore W2917604441C193702766 @default.
- W2917604441 hasConceptScore W2917604441C199360897 @default.
- W2917604441 hasConceptScore W2917604441C41008148 @default.
- W2917604441 hasConceptScore W2917604441C75949130 @default.
- W2917604441 hasFunder F4320321001 @default.
- W2917604441 hasFunder F4320322843 @default.
- W2917604441 hasFunder F4320334924 @default.
- W2917604441 hasFunder F4320335777 @default.
- W2917604441 hasIssue "15" @default.
- W2917604441 hasLocation W29176044411 @default.
- W2917604441 hasLocation W29176044412 @default.
- W2917604441 hasLocation W29176044413 @default.
- W2917604441 hasOpenAccess W2917604441 @default.
- W2917604441 hasPrimaryLocation W29176044411 @default.
- W2917604441 hasRelatedWork W1492961245 @default.
- W2917604441 hasRelatedWork W2035382792 @default.
- W2917604441 hasRelatedWork W2115015193 @default.
- W2917604441 hasRelatedWork W2407385347 @default.
- W2917604441 hasRelatedWork W2614427934 @default.
- W2917604441 hasRelatedWork W2619153025 @default.
- W2917604441 hasRelatedWork W2917604441 @default.
- W2917604441 hasRelatedWork W2998398829 @default.
- W2917604441 hasRelatedWork W4206956498 @default.
- W2917604441 hasRelatedWork W4225849873 @default.
- W2917604441 hasVolume "31" @default.
- W2917604441 isParatext "false" @default.
- W2917604441 isRetracted "false" @default.
- W2917604441 magId "2917604441" @default.
- W2917604441 workType "article" @default.