MICRORACER: Detecting Concurrency Bugs for Cloud Service Systems.

Zhiling Deng, Juepeng Wang, Zhuangbin Chen

Browse the full APSEC paper archive.