Shaoxian Shu

According to our database, Shaoxian Shu authored at least 6 papers between 2012 and 2023.

Collaborative distances:

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

2023

Research on Directed Grey-box Fuzzing Technology Based on Target (S).

Liang Sun, Peng Wu, Shaoxian Shu

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

2021

An Interactive Ranking Algorithm for Program Static Analysis.

Liang Sun, Wenfeng Lin, Shaoxian Shu, Liuying Li

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020

Controller Synthesis for ROS-based Multi-Robot Collaboration.

Xudong Zhao, Rui Li, Wanwei Liu, Hao Shi, Shaoxian Shu, Wei Dong

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Security Controller Synthesis for ROS-based Robot.

Xudong Zhao, Shaoxian Shu, Yutian Lan, Haining Feng, Wei Dong

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

Synthesizing Secure Reactive Controller for Unmanned Aerial System.

Wei Lu, Shaoxian Shu, Rao Shi, Rui Li, Wei Dong

Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

2012

Anticipatory active monitoring for safety- and security-critical software.

Wei Dong, Changzhi Zhao, Shaoxian Shu, Martin Leucker

Sci. China Inf. Sci., 2012