Ccfa

Compilation Consistency Modulo Debug Information
Theodore Luo Wang, Yongqiang Tian, Yiwen Dong, Zhenyang Xu, Chengnian Sun
PDF Code DOI
EDAssistant: Supporting Exploratory Data Analysis in Computational Notebooks with In-Situ Code Search and Recommendation
Xingjun Li, Yizhi Zhang, Justin Leung, Chengnian Sun, Jian Zhao
PDF Cite 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
Toward More Efficient Statistical Debugging with Abstraction Refinement
Zhiqiang Zuo, Xintao Niu, Siyi Zhang, Lu Fang, Siau-Cheng Khoo, Shan Lu, Chengnian Sun, Guoqing Harry Xu
PDF Cite DOI
SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets
Yiwen Dong, Tianxiao Gu, Yongqiang Tian, Chengnian Sun
PDF Cite Code DOI
RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing
Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, Jiaguang Sun
PDF Cite
Empirical Evaluation of Smart Contract Testing: What is the Best Choice?
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, Yan Cai
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 Slides DOI PPTX
Skeletal program enumeration for rigorous compiler testing
Qirun Zhang, Chengnian Sun, Zhendong Su
PDF Cite DOI