A Test Sequence Selection Method for Parallel Software Systems. - Tao Sun 002; Xinming Ye; Jing Liu 003 (PAAP, 2011)

Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach. - Tao Sun 002; Xinming Ye; Hongji Yang; Jing Liu 003 (COMPSAC Workshops, 2012)

A Test Generation Method Based on Model Reduction for Parallel Software. - Tao Sun 002; Xinming Ye; Jing Liu 003 (PDCAT, 2012)

A Model Reduction Method for Parallel Software Testing. - Tao Sun 002; Xinming Ye (J. Appl. Math., 2013)

An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors. - Tao Sun 002; Linjing Zhang; Huiping Ma (SpaCCS Workshops, 2017)

A Data Related Behaviors Automatic Detection Method for Parallel Software Testing. - Tao Sun 002; Wenjie Zhong (ISPA/IUCC/BDCloud/SocialCom/SustainCom, 2018)

Parallel Software Testing Sequence Generation Method Target at Full Covering Tested Behaviors. - Tao Sun 002; Xiaoyun Wan; Wenjie Zhong; Xin Guo; Ting Zhang (ICA3PP (2), 2019)

Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection. - Tao Sun 002; Jing Zhang; Wenjie Zhong (ICA3PP (2), 2019)

CPN Model Checking Method of Concurrent Software Based on State Space Pruning. - Tao Sun 002; Jing Yang; Wenjie Zhong (TrustCom, 2020)

An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking. - Tao Sun 002; Xiaoyu Qi; Wenjie Zhong (ISPA/BDCloud/SocialCom/SustainCom, 2022)

An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking. - Tao Sun 002; Kangshuai Zuo; Wenjie Zhong (ISPA/BDCloud/SocialCom/SustainCom, 2022)

Concurrent software fine-coarse-grained automatic modelling by Coloured Petri Nets for model checking. - Wenjie Zhong; Jian-Tao Zhou 002; Tao Sun 002 (IET Softw., 2023)

Research on Java Automatic Simplified Modeling Based on Source Code Dependency Analysis. - Jiaqi Wang; Tao Sun 002; Wenjie Zhong; Ziyu Wang; Yefan Zhang (CSCWD, 2024)

ASK-LTL Checker: A Tailored Model Checker for Linear Temporal Logic of CPN State Space. - Jing Li; Tao Sun 002; Wenjie Zhong (TrustCom, 2024)

A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net. - Wenjie Zhong; Jiantao Zhou 002; Tao Sun 002; Xiaoyu Song; Zonghui Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

A Reduced State-Space Generation Method for Concurrent Systems Based on CPN-PR Model. - Wenjie Zhong; Tao Sun 002; Jiantao Zhou 002; Zhuowei Wang 001; Xiaoyu Song (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)