Recovering High-Level Conditions from Binary Programs.
Adel DjoudiSébastien BardinÉric GoubaultPublished in: FM (2016)
Keyphrases
- high level
- low level
- intermediate level
- sufficient conditions
- high level programming
- artificial intelligence
- multi class
- computer programs
- low level features
- data sets
- evolutionary algorithm
- data mining
- data model
- programming language
- source code
- contextual information
- semantic information
- multi agent systems
- objective function
- environmental conditions
- computer vision