Login / Signup

Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques.

Stephan EggersglüßRolf Drechsler
Published in: ETS (2009)
Keyphrases
  • learning process
  • test generation
  • learning algorithm
  • reinforcement learning
  • active learning
  • database
  • data sets
  • artificial intelligence
  • training data
  • state space
  • version space