Matches in SemOpenAlex for { <https://semopenalex.org/work/W137192327> ?p ?o ?g. }
- W137192327 startingPage "16" @default.
- W137192327 abstract "Concurrency is used pervasively in the development of large systems programs. However, concurrent programming is difficult because of the possibility of unexpected interference among concurrently executing tasks. Such interference often results in “Heisenbugs” that appear rarely and are extremely difficult to reproduce and debug. Stress testing, in which the system is run under heavy load for a long time, is the method commonly employed to flush out such concurrency bugs. This form of testing provides inadequate coverage and has unpredictable results. This paper proposes an alternative called concurrency scenario testing which relies on systematic and exhaustive testing We have implemented a tool called CHESS for performing concurrency scenario testing of systems programs. CHESS uses model checking techniques to systematically generate all interleaving of a given scenario. CHESS scales to large concurrent programs and has found numerous previously unknown bugs in systems that had been stress tested for many months prior to being tested by CHESS. For each bug, CHESS is able to consistently reproduce an erroneous execution manifesting the bug, thereby making it significantly easier to debug the problem. CHESS has been integrated into the test frameworks of many code bases inside Microsoft and is being used by testers on a daily basis." @default.
- W137192327 created "2016-06-24" @default.
- W137192327 creator A5040009052 @default.
- W137192327 creator A5072464909 @default.
- W137192327 date "2007-11-01" @default.
- W137192327 modified "2023-10-01" @default.
- W137192327 title "CHESS: A Systematic Testing Tool for Concurrent Software" @default.
- W137192327 cites W128817107 @default.
- W137192327 cites W1567536133 @default.
- W137192327 cites W1568471959 @default.
- W137192327 cites W1568729458 @default.
- W137192327 cites W1576549127 @default.
- W137192327 cites W1590315663 @default.
- W137192327 cites W1593428110 @default.
- W137192327 cites W1877496576 @default.
- W137192327 cites W1969550081 @default.
- W137192327 cites W1972544179 @default.
- W137192327 cites W1987872267 @default.
- W137192327 cites W2009394287 @default.
- W137192327 cites W2013296041 @default.
- W137192327 cites W2022228153 @default.
- W137192327 cites W2065675749 @default.
- W137192327 cites W2087252615 @default.
- W137192327 cites W2095600927 @default.
- W137192327 cites W2100830825 @default.
- W137192327 cites W2101161997 @default.
- W137192327 cites W2104537058 @default.
- W137192327 cites W2105391037 @default.
- W137192327 cites W2108806129 @default.
- W137192327 cites W2117009500 @default.
- W137192327 cites W2118437239 @default.
- W137192327 cites W2122244113 @default.
- W137192327 cites W2124877509 @default.
- W137192327 cites W2127989655 @default.
- W137192327 cites W2135948849 @default.
- W137192327 cites W2138058557 @default.
- W137192327 cites W2142297249 @default.
- W137192327 cites W2142892618 @default.
- W137192327 cites W2146280225 @default.
- W137192327 cites W2154266022 @default.
- W137192327 cites W2171480813 @default.
- W137192327 cites W2171956059 @default.
- W137192327 cites W2245219974 @default.
- W137192327 cites W45951652 @default.
- W137192327 hasPublicationYear "2007" @default.
- W137192327 type Work @default.
- W137192327 sameAs 137192327 @default.
- W137192327 citedByCount "31" @default.
- W137192327 countsByYear W1371923272012 @default.
- W137192327 countsByYear W1371923272013 @default.
- W137192327 countsByYear W1371923272014 @default.
- W137192327 countsByYear W1371923272015 @default.
- W137192327 countsByYear W1371923272016 @default.
- W137192327 countsByYear W1371923272020 @default.
- W137192327 countsByYear W1371923272021 @default.
- W137192327 crossrefType "journal-article" @default.
- W137192327 hasAuthorship W137192327A5040009052 @default.
- W137192327 hasAuthorship W137192327A5072464909 @default.
- W137192327 hasConcept C1009929 @default.
- W137192327 hasConcept C111065885 @default.
- W137192327 hasConcept C111919701 @default.
- W137192327 hasConcept C115903868 @default.
- W137192327 hasConcept C168065819 @default.
- W137192327 hasConcept C193702766 @default.
- W137192327 hasConcept C199360897 @default.
- W137192327 hasConcept C2777904410 @default.
- W137192327 hasConcept C28034677 @default.
- W137192327 hasConcept C41008148 @default.
- W137192327 hasConceptScore W137192327C1009929 @default.
- W137192327 hasConceptScore W137192327C111065885 @default.
- W137192327 hasConceptScore W137192327C111919701 @default.
- W137192327 hasConceptScore W137192327C115903868 @default.
- W137192327 hasConceptScore W137192327C168065819 @default.
- W137192327 hasConceptScore W137192327C193702766 @default.
- W137192327 hasConceptScore W137192327C199360897 @default.
- W137192327 hasConceptScore W137192327C2777904410 @default.
- W137192327 hasConceptScore W137192327C28034677 @default.
- W137192327 hasConceptScore W137192327C41008148 @default.
- W137192327 hasLocation W1371923271 @default.
- W137192327 hasOpenAccess W137192327 @default.
- W137192327 hasPrimaryLocation W1371923271 @default.
- W137192327 hasRelatedWork W1868584616 @default.
- W137192327 hasRelatedWork W1887412317 @default.
- W137192327 hasRelatedWork W1972544179 @default.
- W137192327 hasRelatedWork W1986453394 @default.
- W137192327 hasRelatedWork W1990838770 @default.
- W137192327 hasRelatedWork W1993836075 @default.
- W137192327 hasRelatedWork W2005523434 @default.
- W137192327 hasRelatedWork W2016314068 @default.
- W137192327 hasRelatedWork W2054739713 @default.
- W137192327 hasRelatedWork W2065675749 @default.
- W137192327 hasRelatedWork W2101161997 @default.
- W137192327 hasRelatedWork W2118437239 @default.
- W137192327 hasRelatedWork W2133697637 @default.
- W137192327 hasRelatedWork W2135948849 @default.
- W137192327 hasRelatedWork W2142647473 @default.
- W137192327 hasRelatedWork W2149984854 @default.
- W137192327 hasRelatedWork W2153174073 @default.
- W137192327 hasRelatedWork W2159765571 @default.