Flexible and Extensible Runtime Verification for Java (Extended Version).

Chengcheng Xiang Zhengwei Qi Walter Binder

Published in: Int. J. Softw. Eng. Knowl. Eng. (2015)

Keyphrases

object oriented
lightweight
model checking
open source
byte code
programming language
source code
java card
face verification
functional verification
neural network
java programs
highly flexible
data types
database applications
web applications
data model
e learning
learning algorithm