GPredict: Generic Predictive Concurrency Analysis.

Jeff Huang, Qingzhou Luo, Grigore Rosu

Browse the full ICSE paper archive.