High-Level Test Synthesis for Behavioral and Structural Designs.

Christos A. Papachristou Mikhail Baklashov Kowen Lai

Published in: J. Electron. Test. (1998)

Keyphrases

high level
low level
structural analysis
expert systems
case study
real time
real world
information retrieval
artificial intelligence
computer vision
relational databases
programming language
structural information