Comments on "Procedures for Eliminating Static and Dynamic-Hazards in Test Generation".

Andrzej Hlawiczka

Published in: IEEE Trans. Computers (1978)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
software testing
quality assurance
static analysis
data sets
machine learning
computer vision
code coverage
mutation testing