The SCEAS System
Navigation Menu

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]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002