Towards a better collaboration of static and dynamic analyses for testing concurrent programs.

Jun Chen Steve MacDonald Towards a better collaboration of static and dynamic analyses for testing concurrent programs. 8 2008 PADTAD http://doi.acm.org/10.1145/1390841.1390849 conf/issta/2008p db/conf/issta/padtad2008.html#ChenM08