4426 search results - page 50 / 886 » Concurrent Constraint Programming |
91
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
116
click to vote
SIGSOFT
2010
ACM
15 years 14 days ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
119
Voted
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
114
Voted
PPPJ
2009
ACM
15 years 9 months ago
2009
ACM
In test-driven development, tests are written for each program unit before the code is written, ensuring that the code has a comprehensive unit testing harness. Unfortunately, uni...
164
Voted
DAGSTUHL
2001
15 years 4 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...