Login / Signup

The spin on guided random search in verification.

Thang H. BuiAlbert Nymeyer
Published in: ICST Workshops (2008)
Keyphrases
  • random search
  • simulated annealing
  • parameter optimization
  • search space
  • genetic algorithm
  • neural network
  • optical flow
  • genetic programming
  • configuration space