Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. - Matthew B. Dwyer; John Hatcliff; Matthew Hoosier; Venkatesh Prasad Ranganath; Robby; Todd Wallentine (TACAS, 2006)