Login / Signup
Identifying Legal and Illegal States in Synchronous Sequential Circuits Using Test Generation.
Eduardas Bareisa
Kestutis Motiejunas
Rimantas Seinauskas
Published in:
Informatica (2003)
Keyphrases
</>
test generation
test cases
test sequences
symbolic execution
design automation
mutation testing
software testing
static analysis
high speed
quality assurance
database
databases
artificial intelligence
computer vision
image processing
case study