Enabling the runtime assertion checking of concurrent contracts for the Java modeling language. - Araujo, Wladimir; Briand, Lionel C.; Labiche, Yvan (ICSE: International Conference on Software Engineering, 2011)