Bohuslav Krena Zdenek Letko Rachel Tzoref Shmuel Ur Tomás Vojnar Healing data races on-the-fly. 54-64 2007 PADTAD http://doi.acm.org/10.1145/1273647.1273658 conf/issta/2007p db/conf/issta/padtad2007.html#KrenaLTUV07