Fault-based test generation for cause-effect graphs.

Kuo-Chung Tai Amit M. Paradkar Hsun-Kang Su Mladen A. Vouk

Published in: CASCON (1993)

Keyphrases

test generation
test cases
fault diagnosis
design automation
test sequences
static analysis
graph matching
software testing
quality assurance
data sets
artificial intelligence
symbolic execution
fault detection
mutation testing
image data
database systems
information systems
databases