Mutation Testing of Protocol Messages Based on Extended TTCN-3. - Chuanming Jing; Zhiliang Wang; Xingang Shi; Xia Yin; Jianping Wu (AINA, 2008)

A Formal Approach to Robustness Testing of Network Protocol. - Chuanming Jing; Zhiliang Wang; Xia Yin; Jianping Wu (NPC, 2008)

A formal method to real-time protocol interoperability testing. - Zhiliang Wang; Xia Yin; Chuanming Jing (Sci. China Ser. F Inf. Sci., 2008)

A TTCN-3-based protocol testing system and its extension. - Xia Yin; Zhiliang Wang; Chuanming Jing; Xingang Shi (Sci. China Ser. F Inf. Sci., 2008)

A formal approach to robustness testing of network protocol with time constraints. - Xia Yin; Zhiliang Wang; Chuanming Jing; Jianping Wu (Secur. Commun. Networks, 2011)

Research on Evolutionary Game of Service Value Chain Considering the Supervision of Service Platform*. - Fengjiao Sun; Ting He 002; Chuanming Jing; Guangqiao Cao; Shuangxi Huang; Chunshan Li (SERVICES, 2021)