Strengthening properties using abstraction refinement.

Mitra Purandare Thomas Wahl Daniel Kroening

Published in: DATE (2009)

Keyphrases

database
data sets
neural network
genetic algorithm
desirable properties
real world
artificial intelligence
feature selection
wide range
probability distribution
key properties