A TTCN-3-based protocol testing system and its extension.

Xia Yin Zhiliang Wang Chuanming Jing Xingang Shi

Published in: Sci. China Ser. F Inf. Sci. (2008)

Keyphrases

test suite
lightweight
reverse engineering
test cases
coloured petri nets
formal analysis
training data
communication protocol
communication protocols
network protocols