Tao Sun

According to our database, Tao Sun authored at least 14 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net.

Wenjie Zhong, Jiantao Zhou, Tao Sun, Xiaoyu Song, Zonghui Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., July, 2024

Research on Java Automatic Simplified Modeling Based on Source Code Dependency Analysis.

Jiaqi Wang, Tao Sun, Wenjie Zhong, Ziyu Wang, Yefan Zhang

Proceedings of the 27th International Conference on Computer Supported Cooperative Work in Design, 2024

2023

Concurrent software fine-coarse-grained automatic modelling by Coloured Petri Nets for model checking.

Wenjie Zhong, Jian-Tao Zhou, Tao Sun

IET Softw., February, 2023

2022

An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking.

Tao Sun, Kangshuai Zuo, Wenjie Zhong

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking.

Tao Sun, Xiaoyu Qi, Wenjie Zhong

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

2020

CPN Model Checking Method of Concurrent Software Based on State Space Pruning.

Tao Sun, Jing Yang, Wenjie Zhong

Proceedings of the 19th IEEE International Conference on Trust, 2020

2019

Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection.

Tao Sun, Jing Zhang, Wenjie Zhong

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

Parallel Software Testing Sequence Generation Method Target at Full Covering Tested Behaviors.

Tao Sun, Xiaoyun Wan, Wenjie Zhong, Xin Guo, Ting Zhang

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

2018

A Data Related Behaviors Automatic Detection Method for Parallel Software Testing.

Tao Sun, Wenjie Zhong

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

2017

An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors.

Tao Sun, Linjing Zhang, Huiping Ma

Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2017

2013

A Model Reduction Method for Parallel Software Testing.

Tao Sun, Xinming Ye

J. Appl. Math., 2013

2012

A Test Generation Method Based on Model Reduction for Parallel Software.

Tao Sun, Xinming Ye, Jing Liu

Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach.

Tao Sun, Xinming Ye, Hongji Yang, Jing Liu

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011

A Test Sequence Selection Method for Parallel Software Systems.

Tao Sun, Xinming Ye, Jing Liu

Proceedings of the Fourth International Symposium on Parallel Architectures, 2011