Using Aspect-Oriented Programming to Instrument OCL Contracts in Java

Using Aspect-Oriented Programming to Instrument OCL Contracts in Java

Authors
L. Briand, W. J. Dzidek and Y. Labiche