Jin Shao, Fang Deng, Haiwen Liu, Qianxiang Wang, Hong Mei. Lazy Runtime Verification for Constraints on Interacting Objects. In Jun Han, Tran Dan Thu, editors, 17th Asia Pacific Software Engineering Conference, APSEC 2010, Sydney, Australia, November 30 - December 3, 2010. pages 242-251, IEEE Computer Society, 2010. [doi]
Abstract is missing.