2 citations · 2 across the 4 of their papers we have counts for
5 papers
Combining LLM and Dynamic Analysis for Universal Testing of Static Application Security Testing Tools
Huaien Zhang, Yu Pei, Hao Chen +1
Static application security testing (SAST) tools help detect potential software vulnerabilities, but they themselves contain faults undermining reliability and usability. Automated…
Hunting Vulnerability Variants in AI Infra: Measurement and Reference-Driven Detection
Tian Dong, Yanjun Chen, Shoufeng Zhang +6
AI infra has become a shared execution layer for model training, deployment, and agent orchestration. Because many projects reimplement similar model-centric workflows, a vulnerabi…
Bidirectional Code Reuse in Software Redesign: An Action Research Study of Static Analyzers
Xiaowen Zhang, Huaien Zhang, Shin Hwei Tan
Software redesign preserves functionality while improving quality attributes, but manual reuse of code and tests is costly and error-prone, especially in cross-repository redesigns…
An Empirical Study of Refactoring Engine Bugs
Haibo Wang, Zhuolin Xu, Huaien Zhang +2
Refactoring is a critical process in software development, aiming at improving the internal structure of code while preserving its external behavior. Refactoring engines are integr…
Understanding and Detecting Annotation-Induced Faults of Static Analyzers
Huaien Zhang, Yu Pei, Shuyun Liang +1
Static analyzers can reason about the properties and behaviors of programs and detect various issues without executing them. Hence, they should extract the necessary information to…