Consistent Static Analysis in Multilingual Software Products Development.

Zoran Budimac Gordana Rakic

Published in: BCI (2015)

Keyphrases

static analysis
dynamic analysis
digital libraries
data mining
source code
java card
malicious code
symbolic execution
case study
software engineering