A Heuristic Framework to Detect Concurrency Vulnerabilities.

Changming Liu, Deqing Zou, Peng Luo, Bin B. Zhu, Hai Jin

Browse the full ACSAC paper archive.