Toward Formal TTCN-Based Test Execution.

Ruibing Hao Jianping Wu

Published in: INFOCOM (1997)

Keyphrases

test suite
reverse engineering
database systems
test data
formal specification
e learning
response time
formal model
formal methods
formal models
testing process