Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- semantic relations
- model checking
- real world
- background knowledge
- abstract interpretation
- source code
- object oriented
- relational databases
- data sets
- operating system
- real time
- attribute values
- data model
- small size
- high level
- artificial intelligence
- malicious behavior