Checkpoint Faults are not Sufficient Target Faults for Test Generation.

Miron Abramovici Prem R. Menon David T. Miller

Published in: IEEE Trans. Computers (1986)

Keyphrases

test generation
test cases
mutation testing
fault diagnosis
fault detection
software testing
symbolic execution
test sequences
model based diagnosis
design automation
neural network
test set
database applications
quality assurance
image data
high quality
artificial intelligence
machine learning