Daniel Jackson;John V. Guttag
-;-
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)