Tao Sun

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