Using Abstraction-driven Slicing for Postmortem Analysis of Software | IEEE Conference Publication | IEEE Xplore