Monadic Dynamic Slicing of Object-Oriented Programs | IEEE Conference Publication | IEEE Xplore