Flexible and Extensible Runtime Verification for Java (Extended Version)

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]

Possibly Related Publications

The following publications are possibly variants of this publication: