Chengcheng Xiang, Zhengwei Qi, Walter Binder. Flexible and Extensible Runtime Verification for Java (Extended Version). International Journal of Software Engineering and Knowledge Engineering, 25(9-10):1595-1610, 2015. [doi]
@article{XiangQB15-0, title = {Flexible and Extensible Runtime Verification for Java (Extended Version)}, author = {Chengcheng Xiang and Zhengwei Qi and Walter Binder}, year = {2015}, doi = {10.1142/S0218194015400343}, url = {http://dx.doi.org/10.1142/S0218194015400343}, researchr = {https://researchr.org/publication/XiangQB15-0}, cites = {0}, citedby = {0}, journal = {International Journal of Software Engineering and Knowledge Engineering}, volume = {25}, number = {9-10}, pages = {1595-1610}, }