Automated Flaw Detection for Industrial Robot RESTful Service

Yuncheng Wang, Puzhuo Liu, Dongliang Fang, Zhiwen Pan , Shuaizong Si, Weidong Zhang, Limin Sun
January, 2025
Cite
Type
Conference paper
Publication
26th International Conference on Verification, Model Checking, and Abstract Interpretation
Puzhuo Liu
Puzhuo Liu
Senior Engineer & PostDoc

My research interests are in the testing and analysis of embedded devices, including protocols, software, and systems.