Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks. - Huaien Zhang; Yu Pei 001; Shuyun Liang; Zezhong Xing; Shin Hwei Tan (ISSTA, 2024)

Understanding and Detecting Annotation-Induced Faults of Static Analyzers. - Huaien Zhang; Yu Pei 001; Shuyun Liang; Shin Hwei Tan (Proc. ACM Softw. Eng., 2024)