Flexible and Extensible Runtime Verification for Java.

Chengcheng Xiang Zhengwei Qi Walter Binder Flexible and Extensible Runtime Verification for Java. 595-600 2015 SEKE https://doi.org/10.18293/SEKE2015-117 conf/seke/2015 db/conf/seke/seke2015.html#XiangQB15