Conferences in DBLP

International Symposium on Software Testing and Analysis (ISSTA) (issta)
2006 (conf/issta/2006p)

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