|
Conferences in DBLP
A state-of-practice questionnaire on verification and validation for concurrent programs. [Citation Graph (, )][DBLP]
Formal verification of concurrent software: two case studies. [Citation Graph (, )][DBLP]
A classification of concurrency bugs in java benchmarks by developer intent. [Citation Graph (, )][DBLP]
Improving distributed memory applications testing by message perturbation. [Citation Graph (, )][DBLP]
Producing scheduling that causes concurrent programs to fail. [Citation Graph (, )][DBLP]
Confirmation of deadlock potentials detected by runtime analysis. [Citation Graph (, )][DBLP]
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. [Citation Graph (, )][DBLP]
Multi-environment software testing on the grid. [Citation Graph (, )][DBLP]
A theory of data race detection. [Citation Graph (, )][DBLP]
|