The spirit of ghost code.

Jean-Christophe Filliâtre Léon Gondelman Andrei Paskevich

Published in: Formal Methods Syst. Des. (2016)

Keyphrases

source code
decision trees
data structure
real world
information retrieval
artificial intelligence
search algorithm
static analysis
malicious code
linux kernel