Predicting null-pointer dereferences in concurrent programs. (2012)

by A Farzan, P Madhusudan, N Razavi, F Sorrentino
Venue:In FSE,