Matthew B. Dwyer John Hatcliff Robby Venkatesh Prasad Ranganath Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. 199-240 2004 25 Formal Methods in System Design 2-3 http://www.springerlink.com/index/10.1023/B:FORM.0000040028.49845.67 db/journals/fmsd/fmsd25.html#DwyerHRR04