Login / Signup

Automatic Test Generation Using Quadratic 0-1 Programming.

Srimat T. ChakradharVishwani D. AgrawalMichael L. Bushnell
Published in: DAC (1990)
Keyphrases
  • quadratic programming
  • test generation
  • linear programming
  • test cases
  • quality assurance
  • static analysis
  • data sets
  • support vector machine
  • reinforcement learning
  • artificial neural networks