CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis.
Adam SummervilleJoseph C. OsbornMichael MateasPublished in: IJCAI (2017)
Keyphrases
- dynamic analysis
- hybrid automata
- static analysis
- reverse engineering
- finite state automata
- causal relationships
- bayesian networks
- model checking
- causal models
- databases
- causal reasoning
- source code
- database systems
- malicious behavior
- directed acyclic graph
- abstract interpretation
- software engineering
- artificial intelligence
- learning algorithm