Login / Signup
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