Computation of dynamic slices for object-oriented concurrent programs | IEEE Conference Publication | IEEE Xplore