Wladimir Araujo, Lionel C. Briand, Yvan Labiche. Enabling the runtime assertion checking of concurrent contracts for the Java modeling language. In Richard N. Taylor, Harald Gall, Nenad Medvidovic, editors, Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011. pages 786-795, ACM, 2011. [doi]
Abstract is missing.