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 (VMCAI)
Puzhuo Liu
Puzhuo Liu
刘圃卓
Assistant Researcher

My research interests are code quality and security.