Slicing software for model construction (1999)

by M B Dwyer, J Hatcliff
Venue:In Partial Evaluation and SemanticBased Program Manipulation