Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107615178> ?p ?o ?g. }
- W2107615178 endingPage "17" @default.
- W2107615178 startingPage "17" @default.
- W2107615178 abstract "In the multi-core era, it is critical to effectively test multithreaded software and expose concurrency bugs before software release. Previous work has made a lot of progress in exercising the interleaving space and detecting concurrency bugs under a given input. Unfortunately, since software often has many test inputs and constant pressure to release new versions, existing techniques are still too expensive in practice. In this position paper, we use open-source software to study how interleavings, data races and atomicity violations particularly, overlap across test inputs and software versions. We also conduct preliminary explorations to improve the testing efficiency of multi-threaded software by avoiding redundant analysis across inputs and software versions." @default.
- W2107615178 created "2016-06-24" @default.
- W2107615178 creator A5037118951 @default.
- W2107615178 creator A5041681353 @default.
- W2107615178 creator A5061448314 @default.
- W2107615178 creator A5077088563 @default.
- W2107615178 creator A5083795433 @default.
- W2107615178 date "2012-06-07" @default.
- W2107615178 modified "2023-09-22" @default.
- W2107615178 title "Understanding the interleaving-space overlap across inputs and software versions" @default.
- W2107615178 cites W1048515 @default.
- W2107615178 cites W1505468428 @default.
- W2107615178 cites W1566086941 @default.
- W2107615178 cites W1568729458 @default.
- W2107615178 cites W1710734607 @default.
- W2107615178 cites W1887412317 @default.
- W2107615178 cites W1943502734 @default.
- W2107615178 cites W1972065960 @default.
- W2107615178 cites W1972544179 @default.
- W2107615178 cites W2003215037 @default.
- W2107615178 cites W2009489720 @default.
- W2107615178 cites W2016314068 @default.
- W2107615178 cites W2049381173 @default.
- W2107615178 cites W2065675749 @default.
- W2107615178 cites W2078197548 @default.
- W2107615178 cites W2082766667 @default.
- W2107615178 cites W2084719450 @default.
- W2107615178 cites W2088270410 @default.
- W2107615178 cites W2091364465 @default.
- W2107615178 cites W2096155624 @default.
- W2107615178 cites W2096449544 @default.
- W2107615178 cites W2105391037 @default.
- W2107615178 cites W2106029456 @default.
- W2107615178 cites W2109819183 @default.
- W2107615178 cites W2110852599 @default.
- W2107615178 cites W2111759889 @default.
- W2107615178 cites W2115015193 @default.
- W2107615178 cites W2119494620 @default.
- W2107615178 cites W2122410182 @default.
- W2107615178 cites W2122532513 @default.
- W2107615178 cites W2123184511 @default.
- W2107615178 cites W2127532866 @default.
- W2107615178 cites W2128453996 @default.
- W2107615178 cites W2134440791 @default.
- W2107615178 cites W2134633067 @default.
- W2107615178 cites W2135395375 @default.
- W2107615178 cites W2137422315 @default.
- W2107615178 cites W2138546883 @default.
- W2107615178 cites W2140580654 @default.
- W2107615178 cites W2145021036 @default.
- W2107615178 cites W2145467766 @default.
- W2107615178 cites W2145471566 @default.
- W2107615178 cites W2150602145 @default.
- W2107615178 cites W2153229512 @default.
- W2107615178 cites W2153723363 @default.
- W2107615178 cites W2154014790 @default.
- W2107615178 cites W2156300775 @default.
- W2107615178 cites W2156858199 @default.
- W2107615178 cites W2159856414 @default.
- W2107615178 cites W2161600851 @default.
- W2107615178 cites W2162969183 @default.
- W2107615178 cites W2164538023 @default.
- W2107615178 cites W2166509141 @default.
- W2107615178 cites W2166841005 @default.
- W2107615178 cites W2167744164 @default.
- W2107615178 cites W2171480813 @default.
- W2107615178 cites W2281433966 @default.
- W2107615178 cites W68069235 @default.
- W2107615178 cites W69905639 @default.
- W2107615178 doi "https://doi.org/10.5555/2342788.2342805" @default.
- W2107615178 hasPublicationYear "2012" @default.
- W2107615178 type Work @default.
- W2107615178 sameAs 2107615178 @default.
- W2107615178 citedByCount "3" @default.
- W2107615178 countsByYear W21076151782013 @default.
- W2107615178 countsByYear W21076151782015 @default.
- W2107615178 crossrefType "proceedings-article" @default.
- W2107615178 hasAuthorship W2107615178A5037118951 @default.
- W2107615178 hasAuthorship W2107615178A5041681353 @default.
- W2107615178 hasAuthorship W2107615178A5061448314 @default.
- W2107615178 hasAuthorship W2107615178A5077088563 @default.
- W2107615178 hasAuthorship W2107615178A5083795433 @default.
- W2107615178 hasConcept C1009929 @default.
- W2107615178 hasConcept C111919701 @default.
- W2107615178 hasConcept C115903868 @default.
- W2107615178 hasConcept C117447612 @default.
- W2107615178 hasConcept C188045909 @default.
- W2107615178 hasConcept C193702766 @default.
- W2107615178 hasConcept C199360897 @default.
- W2107615178 hasConcept C2777904410 @default.
- W2107615178 hasConcept C28034677 @default.
- W2107615178 hasConcept C41008148 @default.
- W2107615178 hasConcept C529173508 @default.
- W2107615178 hasConcept C75949130 @default.
- W2107615178 hasConceptScore W2107615178C1009929 @default.
- W2107615178 hasConceptScore W2107615178C111919701 @default.
- W2107615178 hasConceptScore W2107615178C115903868 @default.
- W2107615178 hasConceptScore W2107615178C117447612 @default.