The Spirit of Ghost Code.

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

Published in: CAV (2014)

Keyphrases

source code
bayesian networks
dynamic range
error correcting
database
data mining
information retrieval
website
data structure
digital libraries
open source
image quality
code generation