 | 2011 |
|---|
| 6 |       | Xia Yin,
Zhiliang Wang,
Chuanming Jing,
Jianping Wu:
A formal approach to robustness testing of network protocol with time constraints.
Security and Communication Networks 4(6): 622-632 (2011) |
| 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page