Strengthening induction-based race checking with lightweight static analysis. (2011)

by A F Donaldson, L Haller, D Kroening
Venue:In: VMCAI. LNCS,