ConSIT: A fully automated conditioned program slicer (2004)

by C Fox, S Danicic, M Harman, R Hierons
Venue:SPE