Efficient concurrency-bug detection across inputs.

Dongdong Deng, Wei Zhang, Shan Lu

Browse the full OOPSLA paper archive.