Login / Signup

Finding short counterexamples in promela models using estimation of distribution algorithms.

Jan StauntonJohn A. Clark
Published in: GECCO (2011)
Keyphrases
  • search algorithm
  • cost function
  • probabilistic model
  • image classification
  • model selection
  • estimation of distribution algorithms