Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs (2004)

by Matthew B. Dwyer , John Hatcliff , Robby , John Hatcliff Robby , Venkatesh Prasad Ranganath
Venue:Form. Methods Syst. Des
Citations:47 - 14 self