Wolverine: Battling Bugs with Interpolants - (Competition Contribution).

Georg Weissenbacher Daniel Kroening Sharad Malik

Published in: TACAS (2012)

Keyphrases

neural network
information retrieval
computational geometry
real time
source code
international competition
data sets
machine learning
social networks
multimedia
evolutionary algorithm
object oriented
test cases
software projects
static analysis
parametric curves