Establishing a refinement relation between binaries and abstract code.

Freek Verbeek Joshua A. Bockenek Abhijith Bharadwaj Binoy Ravindran Ian Roessle

Published in: MEMOCODE (2019)

Keyphrases

source code
open source
control flow
software systems
high level
static analysis
open source software
linux kernel
refinement process
reverse engineering
code snippets
real time
java programs
query refinement
software engineering
evolutionary algorithm
multiscale
search engine
real world
databases
data sets