Synchronizable Protocol Test Generation via the Duplex Technique.

Wen-Huei Chen Ching-Sung Lu L. Chen Jin-Tuu Wang

Published in: INFOCOM (1990)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
static analysis
quality assurance
lightweight
artificial intelligence
regression testing
code coverage
mutation testing
information systems
multi agent
software development