Qichang Chen Liqiang Wang Zijiang Yang Scott D. Stoller HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. 425-439 2009 FASE http://dx.doi.org/10.1007/978-3-642-00593-0_30 conf/fase/2009 db/conf/fase/fase2009.html#ChenWYS09