Specification and Runtime Verification of API Constraints on Interacting Objects.

Fang Deng, Haiwen Liu, Jin Shao, Qianxiang Wang

Browse the full SEKE paper archive.