Fang Deng, Haiwen Liu, Jin Shao, Qianxiang Wang. Specification and Runtime Verification of API Constraints on Interacting Objects. In Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011. pages 101-106, Knowledge Systems Institute Graduate School, 2011.
Abstract is missing.