Login / Signup

Deriving Logic Systems for Path Delay Test Generation.

Soumitra BosePrathima AgrawalVishwani D. Agrawal
Published in: IEEE Trans. Computers (1998)
Keyphrases
  • test generation
  • database
  • building blocks
  • complex systems
  • computer vision
  • symbolic execution