Generating Program Invariants via Interpolation

Marc Moreno Maza Rong Xiao

Published in: CoRR (2012)

Keyphrases

imperative programs
information systems
computer programs
generation process
image interpolation
neural network
program execution
control program
edge directed
genetic algorithm
multiscale
pattern recognition
affine invariant
quasi invariant