Causal static analysis for Brane Calculi.

Chiara Bodei Roberta Gori Francesca Levi

Published in: Theor. Comput. Sci. (2015)

Keyphrases

static analysis
dynamic analysis
source code
causal relationships
malicious code
symbolic execution
abstract interpretation
bayesian networks
regular expressions
java card
causal models
causal reasoning
case study
test suite
database
open source
software engineering
training data
data mining