Dynamic slicing of UML communication diagram | IEEE Conference Publication | IEEE Xplore