Transition Test Generation using Replicate-and-Reduce Transform for Scan-based Designs.

Magdy S. Abadir Juhong Zhu

Published in: VTS (2003)

Keyphrases

test generation
test cases
test sequences
symbolic execution
static analysis
quality assurance
data sets
computer vision
software testing
design automation
video sequences
cooperative
source code