Conferences in DBLP

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

1. 
   Some resources for teaching concurrency. [Citation Graph (, )][DBLP]
   
   
2. 
   Understanding the behavior of transactional memory applications. [Citation Graph (, )][DBLP]
   
   
3. 
   Run-time conformance checking of mobile and distributed systems using executable models. [Citation Graph (, )][DBLP]
   
   
4. 
   Pattern-driven deadlock avoidance. [Citation Graph (, )][DBLP]
   
   
5. 
   An annotation assistant for interactive debugging of programs with common synchronization idioms. [Citation Graph (, )][DBLP]
   
   
6. 
   MulticoreSDK: a practical and efficient data race detector for real-world applications. [Citation Graph (, )][DBLP]
   
   
7. 
   SideTrack: generalizing dynamic atomicity analysis. [Citation Graph (, )][DBLP]
   
   
8. 
   Unit testing for multi-threaded Java programs. [Citation Graph (, )][DBLP]
   
   
9. 
   Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. [Citation Graph (, )][DBLP]
   
   
10. 
    Forcing small models of conditions on program interleaving for detection of concurrent bugs. [Citation Graph (, )][DBLP]
    
    
11. 
    A proposal of operation history management system for source-to-source optimization of HPC programs. [Citation Graph (, )][DBLP]