Lazy Runtime Verification for Constraints on Interacting Objects.

Jin Shao, Fang Deng, Haiwen Liu, Qianxiang Wang, Hong Mei

Browse the full APSEC paper archive.