Efficient concurrency-bug detection across inputs (2013)

by D Deng, W Zhang, S Lu
Venue:In Proc. OOPSLA '13