Ph.D. Dissertations - Koushik Sen
Active Testing: Predicting and Confirming Concurrency Bugs for Concurrent and Distributed Memory Parallel Systems
Chang Seo Park [2012]
Lightweight Specifications for Parallel Correctness
Jacob Burnim [2012]
Predictive and Programmable Testing of Concurrent and Cloud Systems
Pallavi Joshi [2012]