CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis.

Adam Summerville Joseph C. Osborn Michael Mateas

Published in: CoRR (2017)

Keyphrases

dynamic analysis
hybrid automata
static analysis
reverse engineering
finite state automata
bayesian networks
software engineering
model checking
causal reasoning
causal relationships
source code
causal models
causal relations
malicious behavior
machine learning
learning theory