Selected

Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, Chengnian Sun
PDF Cite DOI
CoopHance: Cooperative Enhancement for Robustness of Deep Learning System
Quan Zhang, Yongqiang Tian, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang
Finding Deviated Behaviors of Compressed DNN Models for Image Classifications
Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, Yu Jiang
PDF Cite Code DOI
Compilation Consistency Modulo Debug Information
Theodore Luo Wang, Yongqiang Tian, Yiwen Dong, Zhenyang Xu, Chengnian Sun
PDF Code DOI
Bash in the Wild: Language Usage, Code Smells, and Bugs
Yiwen Dong, Zheyang Li (Co-First Author), Yongqiang Tian, Chengnian Sun, Michael Godfrey, Meiyappan Nagappan
PDF Cite Code DOI
SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets
Yiwen Dong, Tianxiao Gu, Yongqiang Tian, Chengnian Sun
PDF Cite Code DOI
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization
Chijin Zhou, Mingzhe Wang, Jie Liang, Zhe Liu, Chengnian Sun, Yu Jiang
PDF Cite DOI
Practical GUI Testing of Android Applications via Model Abstraction and Refinement
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su
PDF Cite Project DOI
Perses: Syntax-Guided Program Reduction
Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su
PDF Cite Project DOI
Skeletal program enumeration for rigorous compiler testing
Qirun Zhang, Chengnian Sun, Zhendong Su
PDF Cite DOI