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

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

Keyphrases