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.
@inproceedings{DengLSW11,
title = {Specification and Runtime Verification of API Constraints on Interacting Objects},
author = {Fang Deng and Haiwen Liu and Jin Shao and Qianxiang Wang},
year = {2011},
researchr = {https://researchr.org/publication/DengLSW11},
cites = {0},
citedby = {0},
pages = {101-106},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011},
publisher = {Knowledge Systems Institute Graduate School},
isbn = {1-891706-29-2},
}