Ccfa

Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations
Zhenayng Xu, Yongqiang Tian, Mengxiao Zhang, Chengnian Sun
Latra: A Template-Based Language-Agnostic Transformation Framework for Effective Program Reduction
Zhenyang Xu, Yiran Wang (Co-First), Yongqiang Tian, Mengxiao Zhang, Chengnian Sun
Preventing Disruption of System Backup Against Ransomware Attacks
Yiwei Hou, Lihua Guo, Chijin Zhou, Quan Zhang, Wenhuan Liu, Chengnian Sun, Yu Jiang
Toward a Better Understanding of Probabilistic Delta Debugging
Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Xinru Cheng, Chengnian Sun
PDF
WDD: Weighted Delta Debugging
Xintong Zhou, Zhenyang Xu, Mengxiao Zhang, Yongqiang Tian, Chengnian Sun
PDF
An Empirical Study of Bugs in Data Visualization Libraries
Weiqi Lu, Yongqiang Tian, Xiaohan Zhong, Haoyang Ma, Zhenyang Xu, Shing-Chi Cheung, Chengnian Sun
Towards Diverse Program Transformations for Program Simplification
Haibo Wang, Zezhong Xing, Chengnian Sun, Zheng Wang, Shin Hwei Tan
LLM-Powered Static Binary Taint Analysis
Puzhuo Liu, Chengnian Sun, Yaowen Zheng, Xuan Feng, Chuan Qin, Yuncheng Wang, Zhenyang Xu, Zhi Li, Peng Di, Yu Jiang, Limin Sun
PDF Cite DOI
T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax
Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Jiarui Zhang, Puzhuo Liu, Yu Jiang, Chengnian Sun
PDF Code
FITS: Inferring Intermediate Taint Sources for Effective Vulnerability Analysis of IoT Device Firmware
Puzhuo Liu, Yaowen Zheng, Chengnian Sun, Chuan Qin, Dongliang Fang, Mingdong Liu, Limin Sun
PDF Cite DOI Media1 Media2 Media3