JAVACHECK: A Domain Specific Language for the Static Analysis of Java Code.

Sara Pérez-Soler Juan de Lara

Published in: MoDELS (Satellite Events) (2017)

Keyphrases

static analysis
java code
source code
dynamic analysis
open source
java card
byte code
software systems
software projects
development tools
high level
databases
relational databases
regular expressions