Test Generation for Gigahertz Processors Using an Automatic Functional Constraint Extractor.

Raghuram S. Tupuri Arun Krishnamachary Jacob A. Abraham

Published in: DAC (1999)

Keyphrases

test generation
test cases
symbolic execution
test sequences
static analysis
software testing
design automation
artificial intelligence
parallel algorithm
test data generation
data sets
life cycle
database
software development
quality assurance
data model
case study
machine learning
databases