Logic Design Verification Using Automated Test Generation.

Tohru Sasaki Shunichi Kato Nobuyoshi Nomizu Hidetoshi Tanaka

Published in: ITC (1984)

Keyphrases

test generation
design automation
symbolic execution
user interface
computer aided
case study
design process
test cases
mutation testing
learning algorithm
test sequences
quality assurance
software testing
source code
image data
video sequences
database systems
information systems