Understanding the interleaving-space overlap across inputs and software versions (2012)

by D Deng, W Zhang, B Wang, P Zhao, S Lu
Venue:In 4th USENIX Workshop on Hot Topics in Parallelism