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]

@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},
}