Ccfa

Bond: Constraint-Directed Fuzzing for Automated Validation of Taint Analysis Results in Linux-based IoT Firmware
Jiaqian Peng, Puzhuo Liu, Kai Cheng, Zhaoteng Yan, Jie Liu, Chengnian Sun, Hongsong Zhu
Validating Mixed-Integer Programming Solvers
Xintong Zhou, Zhenyang Xu, Chengnian Sun
Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations
Zhenayng Xu, Yongqiang Tian, Mengxiao Zhang, Chengnian Sun
PDF Cite
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 Code Slides PPTX
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