544 search results - page 16 / 109 » Testing concurrent programs using value schedules |
156
click to vote
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
112
click to vote
ICFP
2009
ACM
15 years 8 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
161
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
105
click to vote
SAMOS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract—In this paper we present a Multithreaded programming methodology for multi-core systems that utilizes DataFlow concurrency. The programmer augments the program with macr...
137
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...