Slice-Based Dynamic Memory Modelling - A Case Study. - Yoga Sivagurunathan; Mark Harman; Bala Sivagurunathan (COMPSAC, 2002)