Static analysis of cloud elasticity.

Abel Garcia Cosimo Laneve Michael Lienhardt

Published in: Sci. Comput. Program. (2017)

Keyphrases

static analysis
dynamic analysis
cloud computing
source code
malicious code
symbolic execution
regular expressions
java card
abstract interpretation
virtual machine
open source
test suite
test generation
soft tissue
data sets
data center
decision trees