Login / Signup

Application of under-approximation techniques to functional test generation targeting hard to detect stuck-at faults.

Mahesh PrabhuJacob A. Abraham
Published in: ITC (2013)
Keyphrases
  • test generation
  • test cases
  • image processing
  • real world
  • knowledge management
  • model based diagnosis
  • symbolic execution
  • mutation testing