Framework instantiation using cookbooks constructed with static and dynamic analysis.
Raquel Fialho de Queiroz LafetáMarcelo de Almeida MaiaDavid RöthlisbergerPublished in: ICPC (2015)
Keyphrases
- dynamic analysis
- reverse engineering
- static analysis
- abstract interpretation
- theoretical framework
- main contribution
- probabilistic model
- domain knowledge
- multi agent
- database
- knowledge base
- semi automatic
- model checking
- bayesian framework
- computer vision
- artificial intelligence
- learning algorithm
- information retrieval