Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language

Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language

Authors
W. Araujo, L. Briand and Y. Labiche
Editors
H. G. R. N. Taylor and N. Medvidovic