FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005335403> ?p ?o ?g. }

• W2005335403 abstract "Subtle concurrency errors in multithreaded libraries that arise because of incorrect or inadequate synchronization are often difficult to pinpoint precisely using only static techniques. On the other hand, the effectiveness of dynamic race detectors is critically dependent on multithreaded test suites whose execution can be used to identify and trigger races. Usually, such multithreaded tests need to invoke a specific combination of methods with objects involved in the invocations being shared appropriately to expose a race. Without a priori knowledge of the race, construction of such tests can be challenging. In this paper, we present a lightweight and scalable technique for synthesizing precisely these kinds of tests. Given a multithreaded library and a sequential test suite, we describe a fully automated analysis that examines sequential execution traces, and produces as its output a concurrent client program that drives shared objects via library method calls to states conducive for triggering a race. Experimental results on a variety of well-tested Java libraries yield 101 synthesized multithreaded tests in less than four minutes. Analyzing the execution of these tests using an off-the-shelf race detector reveals 187 harmful races, including several previously unreported ones. Our implementation, named NARADA, and the results of our experiments are available at http://www.csa.iisc.ernet.in/~sss/tools/narada." @default.
• W2005335403 created "2016-06-24" @default.
• W2005335403 creator A5002609733 @default.
• W2005335403 creator A5034957233 @default.
• W2005335403 creator A5062670070 @default.
• W2005335403 date "2015-06-03" @default.
• W2005335403 modified "2023-10-17" @default.
• W2005335403 title "Synthesizing racy tests" @default.
• W2005335403 cites W1965446936 @default.
• W2005335403 cites W1972544179 @default.
• W2005335403 cites W2046317364 @default.
• W2005335403 cites W2057825397 @default.
• W2005335403 cites W2072419942 @default.
• W2005335403 cites W2099390117 @default.
• W2005335403 cites W2100894869 @default.
• W2005335403 cites W2107709519 @default.
• W2005335403 cites W2111413199 @default.
• W2005335403 cites W2112274482 @default.
• W2005335403 cites W2119494620 @default.
• W2005335403 cites W2125038938 @default.
• W2005335403 cites W2132294215 @default.
• W2005335403 cites W2135395375 @default.
• W2005335403 cites W2135948849 @default.
• W2005335403 cites W2141018153 @default.
• W2005335403 cites W2142890871 @default.
• W2005335403 cites W2148011508 @default.
• W2005335403 cites W2149433427 @default.
• W2005335403 cites W2167744164 @default.
• W2005335403 cites W2170998491 @default.
• W2005335403 cites W4236306709 @default.
• W2005335403 cites W4237492309 @default.
• W2005335403 cites W4249000722 @default.
• W2005335403 cites W4251803824 @default.
• W2005335403 cites W4254906220 @default.
• W2005335403 cites W4300810260 @default.
• W2005335403 doi "https://doi.org/10.1145/2737924.2737998" @default.
• W2005335403 hasPublicationYear "2015" @default.
• W2005335403 type Work @default.
• W2005335403 sameAs 2005335403 @default.
• W2005335403 citedByCount "31" @default.
• W2005335403 countsByYear W20053354032015 @default.
• W2005335403 countsByYear W20053354032016 @default.
• W2005335403 countsByYear W20053354032017 @default.
• W2005335403 countsByYear W20053354032018 @default.
• W2005335403 countsByYear W20053354032019 @default.
• W2005335403 countsByYear W20053354032020 @default.
• W2005335403 countsByYear W20053354032021 @default.
• W2005335403 countsByYear W20053354032022 @default.
• W2005335403 countsByYear W20053354032023 @default.
• W2005335403 crossrefType "proceedings-article" @default.
• W2005335403 hasAuthorship W2005335403A5002609733 @default.
• W2005335403 hasAuthorship W2005335403A5034957233 @default.
• W2005335403 hasAuthorship W2005335403A5062670070 @default.
• W2005335403 hasConcept C111472728 @default.
• W2005335403 hasConcept C111919701 @default.
• W2005335403 hasConcept C119857082 @default.
• W2005335403 hasConcept C120314980 @default.
• W2005335403 hasConcept C127162648 @default.
• W2005335403 hasConcept C128942645 @default.
• W2005335403 hasConcept C136197465 @default.
• W2005335403 hasConcept C138101251 @default.
• W2005335403 hasConcept C138885662 @default.
• W2005335403 hasConcept C151552104 @default.
• W2005335403 hasConcept C152877465 @default.
• W2005335403 hasConcept C154945302 @default.
• W2005335403 hasConcept C166957645 @default.
• W2005335403 hasConcept C173608175 @default.
• W2005335403 hasConcept C193702766 @default.
• W2005335403 hasConcept C199360897 @default.
• W2005335403 hasConcept C201410400 @default.
• W2005335403 hasConcept C2778562939 @default.
• W2005335403 hasConcept C31258907 @default.
• W2005335403 hasConcept C41008148 @default.
• W2005335403 hasConcept C48044578 @default.
• W2005335403 hasConcept C548217200 @default.
• W2005335403 hasConcept C75553542 @default.
• W2005335403 hasConcept C79581498 @default.
• W2005335403 hasConcept C95457728 @default.
• W2005335403 hasConceptScore W2005335403C111472728 @default.
• W2005335403 hasConceptScore W2005335403C111919701 @default.
• W2005335403 hasConceptScore W2005335403C119857082 @default.
• W2005335403 hasConceptScore W2005335403C120314980 @default.
• W2005335403 hasConceptScore W2005335403C127162648 @default.
• W2005335403 hasConceptScore W2005335403C128942645 @default.
• W2005335403 hasConceptScore W2005335403C136197465 @default.
• W2005335403 hasConceptScore W2005335403C138101251 @default.
• W2005335403 hasConceptScore W2005335403C138885662 @default.
• W2005335403 hasConceptScore W2005335403C151552104 @default.
• W2005335403 hasConceptScore W2005335403C152877465 @default.
• W2005335403 hasConceptScore W2005335403C154945302 @default.
• W2005335403 hasConceptScore W2005335403C166957645 @default.
• W2005335403 hasConceptScore W2005335403C173608175 @default.
• W2005335403 hasConceptScore W2005335403C193702766 @default.
• W2005335403 hasConceptScore W2005335403C199360897 @default.
• W2005335403 hasConceptScore W2005335403C201410400 @default.
• W2005335403 hasConceptScore W2005335403C2778562939 @default.
• W2005335403 hasConceptScore W2005335403C31258907 @default.
• W2005335403 hasConceptScore W2005335403C41008148 @default.
• W2005335403 hasConceptScore W2005335403C48044578 @default.
• W2005335403 hasConceptScore W2005335403C548217200 @default.

• next