Siao Wang

According to our database, Siao Wang authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

2025

Extracting Formal Specifications from Documents Using LLMs for Automated Testing.

Hui Li, Zhen Dong, Siao Wang, Hui Zhang, Liwei Shen, Xin Peng, Dongdong She

CoRR, April, 2025

RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search.

Siao Wang, Zhen Dong, Hui Li, Liwei Shen, Xin Peng, Dongdong She

Proc. ACM Softw. Eng., 2025

Extracting Formal Specifications From Documents Using LLMS for Test Automation.

Hui Li, Zhen Dong, Siao Wang, Hui Zhang, Liwei Shen, Xin Peng, Dongdong She

Proceedings of the 33rd IEEE/ACM International Conference on Program Comprehension, 2025

2023

EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things.

Bingkun Sun, Liwei Shen, Jialin Ren, Zhen Dong, Siao Wang, Xin Peng

CoRR, 2023