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]

Abstract

Abstract is missing.