Tao Sun

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 10

Top Topics

Modeling Method

Business Processes

Top Venues

ISPA/BDCloud/SocialCom/SustainCom

ISPA/IUCC/BDCloud/SocialCom/SustainCom

Publications

Jiaqi Wang, Tao Sun, Wenjie Zhong, Ziyu Wang, Yefan Zhang
Research on Java Automatic Simplified Modeling Based on Source Code Dependency Analysis. CSCWD (2024)
Wenjie Zhong, Jiantao Zhou, Tao Sun, Xiaoyu Song, Zonghui Li
A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (7) (2024)
Wenjie Zhong, Jian-Tao Zhou, Tao Sun
Concurrent software fine-coarse-grained automatic modelling by Coloured Petri Nets for model checking. IET Softw. 17 (1) (2023)
Tao Sun, Kangshuai Zuo, Wenjie Zhong
An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking. ISPA/BDCloud/SocialCom/SustainCom (2022)
Tao Sun, Xiaoyu Qi, Wenjie Zhong
An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking. ISPA/BDCloud/SocialCom/SustainCom (2022)
Tao Sun, Jing Yang, Wenjie Zhong
CPN Model Checking Method of Concurrent Software Based on State Space Pruning. TrustCom (2020)
Tao Sun, Jing Zhang, Wenjie Zhong
Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection. ICA3PP (2) (2019)
Tao Sun, Xiaoyun Wan, Wenjie Zhong, Xin Guo, Ting Zhang
Parallel Software Testing Sequence Generation Method Target at Full Covering Tested Behaviors. ICA3PP (2) (2019)
Tao Sun, Wenjie Zhong
A Data Related Behaviors Automatic Detection Method for Parallel Software Testing. ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)
Tao Sun, Linjing Zhang, Huiping Ma
An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors. SpaCCS Workshops (2017)
Tao Sun, Xinming Ye
A Model Reduction Method for Parallel Software Testing. J. Appl. Math. 2013 (2013)
Tao Sun, Xinming Ye, Hongji Yang, Jing Liu
Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach. COMPSAC Workshops (2012)
Tao Sun, Xinming Ye, Jing Liu
A Test Generation Method Based on Model Reduction for Parallel Software. PDCAT (2012)
Tao Sun, Xinming Ye, Jing Liu
A Test Sequence Selection Method for Parallel Software Systems. PAAP (2011)