Static analysis of cloud elasticity.

Abel Garcia Cosimo Laneve Michael Lienhardt

Published in: PPDP (2015)

Keyphrases

static analysis
dynamic analysis
cloud computing
source code
symbolic execution
abstract interpretation
malicious code
java card
test suite
virtual machine
soft tissue
databases
third party
pattern matching
anomaly detection
open source
data warehouse
relational databases