Test Generation for Microprocessors.

Satish M. Thatte Jacob A. Abraham

Published in: IEEE Trans. Computers (1980)

Keyphrases

test generation
test cases
design automation
computer architecture
test sequences
symbolic execution
personal computer
quality assurance
static analysis
computing power
instruction set
mutation testing
software testing
single chip
source code
open source
information technology
case study
metadata