Tightly-Synchronizable Protocol Test Generation Via the Duplex Technique.

Wen-Huei Chen Chuan Yi Tang

Published in: J. Inf. Sci. Eng. (1992)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
quality assurance
static analysis
mutation testing
lightweight
regression testing
learning algorithm
software testing
code coverage
database
privacy preserving
complex systems