Login / Signup
Constrained Chinese Postman Problem with Its Application on Synchronizable Protocol Test Generation.
Wen-Huei Chen
Ching-Sung Lu
Jin-Tuu Wang
Richard-Jinjr Lee
Published in:
J. Inf. Sci. Eng. (1990)
Keyphrases
</>
test generation
test cases
test sequences
symbolic execution
static analysis
design automation
software testing
mutation testing
quality assurance
databases
lightweight
high quality
test set
quality control