Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs (2006)

by Matthew B. Dwyer , John Hatcliff , Matthew Hoosier , Venkatesh Ranganath , Todd Wallentine
Venue:In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’2006
Citations:13 - 3 self