|
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs |
- Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs, October 2005.
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, and Todd Wallentine.
In the Proceedings of the Tweflth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006).
pdf (Last updated: January 6, 2005).
|
