Search the dblp DataBase

Publications of Author

1. 
   CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. [Citation Graph (, )][DBLP]
   
   
2. 
   Effective static deadlock detection. [Citation Graph (, )][DBLP]
   
   
3. 
   A randomized dynamic program analysis technique for detecting real deadlocks. [Citation Graph (, )][DBLP]
   
   
4. 
   Randomized active atomicity violation detection in concurrent programs. [Citation Graph (, )][DBLP]