Flexible and Extensible Runtime Verification for Java

Chengcheng Xiang, Zhengwei Qi, Walter Binder. Flexible and Extensible Runtime Verification for Java. In Haiping Xu, editor, The 27th International Conference on Software Engineering and Knowledge Engineering, SEKE 2015, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 6-8, 2015. pages 595-600, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2015. [doi]

Abstract

Abstract is missing.