Specification and Runtime Verification of API Constraints on Interacting Objects

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

Abstract is missing.