Comparison of Static Analysis Tools for Quality Measurement of RPG Programs.

Zoltán Tóth László Vidács Rudolf Ferenc

Published in: ICCSA (5) (2015)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
java card
test generation
computer programs
malicious code
regular expressions
building blocks
software components
test suite