Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath. Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods in System Design, 25(2-3):199-240, 2004. [doi]
Abstract is missing.