Leaping Loops in the Presence of Abstraction.

Thomas Ball Orna Kupferman Mooly Sagiv

Published in: CAV (2007)

Keyphrases

three dimensional
genetic algorithm
preprocessing
high level
objective function
databases
database systems
image sequences