William M. Waite;Lief H. Carter;Lynn R. Carter
-;-;-
An executable language definition
ACM SIGPLAN Notices
Beyond traditional program slicing
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis