CLARVA: Model-based Residual Verification of Java Programs.

Shaun Azzopardi Christian Colombo Gordon J. Pace

Published in: MODELSWARD (2020)

Keyphrases

java programs
multi threaded
java language
software components
real world
artificial intelligence
java virtual machine
test case generation
information systems
web services
query language
software development
software systems