Mar 12, 2019 · ABSTRACT Generating test cases automatically for thread-safe classes is an effective approach to validating their correctness. However, the ...
(PDF) Efficient Test Case Generation for Thread-Safe Classes
www.researchgate.net › ... › Concurrency
Generating test cases automatically for thread-safe classes is an effective approach to validating their correctness. However, the existing concurrent test ...
Generating test cases automatically for thread-safe classes is an effective approach to validating their correctness. However, the existing concurrent test.
Jan 8, 2009 · I am looking at improving a package that I believe not to be threadsafe when its input is shared between multiple worker threads.
Missing: Generation | Show results with:Generation
Nov 28, 2023 · In this article, you will learn some of the best practices and tools for testing thread safety in OOP code.
People also ask
How do you test for thread safety?
How to make thread-safe classes?
Which collection classes are thread-safe?
What is thread-safe and non-thread-safe in Java?
In affirmative case, it reports the thread-safety violation. Otherwise, it resumes the generation of concurrent tests and their interleaving space ...
Dec 16, 2015 · You can't prove programmatically that a code is thread safe - the code may actually always work fine on your combination of JVM/CPU architecture ...
Missing: Generation | Show results with:Generation
Some recent techniques and corresponding tools tackle the problem of testing thread-safe classes by automatically generating concurrent tests. In this paper ...
May 4, 2021 · Efficient detection of thread safety ... Coverage-driven test generation for thread-safe classes via parallel and conflict dependencies.
We apply CovCon to 18 thread-safe Java classes, and it detects concurrency bugs in 17 of them. Compared to five state of the art approaches, CovCon detects more ...