Matches in SemOpenAlex for { <https://semopenalex.org/work/W565179926> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W565179926 endingPage "130" @default.
- W565179926 startingPage "116" @default.
- W565179926 abstract "Atomicity violations are the most common non-deadlock concurrency bugs, which have been extensively studied in recent years. Since detecting the actual occurrences of atomicity violations is extremely hard and exhaustive testing of a multi-threaded program is in general impossible, many predictive methods have been proposed, which make error predictions based on a small number of instrumented interleaved executions. Predictive methods often make tradeoffs between precision and coverage. An over-approximate predictive method ensures coverage but lacks precision and thus may report a large number of false bugs. An under-approximate predictive method ensures precision but lacks coverage and thus can miss significant real bugs. This paper presents a post-prediction analysis method for improving the precision of the prediction results obtained through over-approximation while achieving better coverage than that obtained through under-approximation. Our method analyzes and filters the prediction results of over-approximation by evaluating a subset of read-after-write relationships without enforcing all of them as in existing under-approximation methods. Our post-prediction method is a static analysis method on the predicted traces from dynamic instrumentation of C/C++ executable, and is faster than dynamic replaying methods for ensuring precision." @default.
- W565179926 created "2016-06-24" @default.
- W565179926 creator A5009723525 @default.
- W565179926 creator A5036622608 @default.
- W565179926 creator A5053020840 @default.
- W565179926 creator A5075750684 @default.
- W565179926 date "2015-01-01" @default.
- W565179926 modified "2023-10-16" @default.
- W565179926 title "A Method for Improving the Precision and Coverage of Atomicity Violation Predictions" @default.
- W565179926 cites W1481985818 @default.
- W565179926 cites W1492961245 @default.
- W565179926 cites W1522958625 @default.
- W565179926 cites W1556323883 @default.
- W565179926 cites W1575599371 @default.
- W565179926 cites W1581214603 @default.
- W565179926 cites W1994127412 @default.
- W565179926 cites W2010830544 @default.
- W565179926 cites W2109033563 @default.
- W565179926 cites W2118835133 @default.
- W565179926 cites W2153229512 @default.
- W565179926 cites W2157888439 @default.
- W565179926 cites W2159812975 @default.
- W565179926 cites W2161466480 @default.
- W565179926 cites W2164538023 @default.
- W565179926 cites W4239394046 @default.
- W565179926 cites W4256483320 @default.
- W565179926 doi "https://doi.org/10.1007/978-3-662-46681-0_8" @default.
- W565179926 hasPublicationYear "2015" @default.
- W565179926 type Work @default.
- W565179926 sameAs 565179926 @default.
- W565179926 citedByCount "1" @default.
- W565179926 countsByYear W5651799262021 @default.
- W565179926 crossrefType "book-chapter" @default.
- W565179926 hasAuthorship W565179926A5009723525 @default.
- W565179926 hasAuthorship W565179926A5036622608 @default.
- W565179926 hasAuthorship W565179926A5053020840 @default.
- W565179926 hasAuthorship W565179926A5075750684 @default.
- W565179926 hasBestOaLocation W5651799261 @default.
- W565179926 hasConcept C11413529 @default.
- W565179926 hasConcept C173608175 @default.
- W565179926 hasConcept C188045909 @default.
- W565179926 hasConcept C199360897 @default.
- W565179926 hasConcept C41008148 @default.
- W565179926 hasConcept C75949130 @default.
- W565179926 hasConceptScore W565179926C11413529 @default.
- W565179926 hasConceptScore W565179926C173608175 @default.
- W565179926 hasConceptScore W565179926C188045909 @default.
- W565179926 hasConceptScore W565179926C199360897 @default.
- W565179926 hasConceptScore W565179926C41008148 @default.
- W565179926 hasConceptScore W565179926C75949130 @default.
- W565179926 hasLocation W5651799261 @default.
- W565179926 hasOpenAccess W565179926 @default.
- W565179926 hasPrimaryLocation W5651799261 @default.
- W565179926 hasRelatedWork W135928233 @default.
- W565179926 hasRelatedWork W1800397244 @default.
- W565179926 hasRelatedWork W1911795762 @default.
- W565179926 hasRelatedWork W2023785576 @default.
- W565179926 hasRelatedWork W2135396778 @default.
- W565179926 hasRelatedWork W2383284615 @default.
- W565179926 hasRelatedWork W2776953575 @default.
- W565179926 hasRelatedWork W3138411814 @default.
- W565179926 hasRelatedWork W3139576051 @default.
- W565179926 hasRelatedWork W4244828400 @default.
- W565179926 isParatext "false" @default.
- W565179926 isRetracted "false" @default.
- W565179926 magId "565179926" @default.
- W565179926 workType "book-chapter" @default.