 | 2008 |
|---|
| 5 |       | Chuanming Jing,
Zhiliang Wang,
Xingang Shi,
Xia Yin,
Jianping Wu:
Mutation Testing of Protocol Messages Based on Extended TTCN-3.
AINA 2008: 667-674 |
| 4 | | Chuanming Jing,
Xia Yin,
Zhiliang Wang,
Jianping Wu:
A Formal Approach to Robustness Testing of Network Protocol with Time Constraints.
ICYCS 2008: 2168-2174 |
| 3 | | Chuanming Jing,
Zhiliang Wang,
Xia Yin,
Jianping Wu:
A Formal Approach to Robustness Testing of Network Protocol.
NPC 2008: 24-37 |
| 2 | | Xia Yin,
Zhiliang Wang,
Chuanming Jing,
Xingang Shi:
A TTCN-3-based protocol testing system and its extension.
Science in China Series F: Information Sciences 51(11): 1703-1722 (2008) |
| 1 | | Zhiliang Wang,
Xia Yin,
Chuanming Jing:
A formal method to real-time protocol interoperability testing.
Science in China Series F: Information Sciences 51(11): 1723-1744 (2008) |
