Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.

Wladimir Araujo, Lionel C. Briand, Yvan Labiche

Browse the full ICSE paper archive.