Ccfa

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
Stochastic Optimization of Program Obfuscation
Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun
PDF Cite DOI
Finding Compiler Bugs via Live Code Mutation
Chengnian Sun, Vu Le, Zhendong Su
PDF Cite DOI
Automatic Runtime Recovery via Error Handler Synthesis
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lu, Zhendong Su
PDF Cite DOI
Toward Understanding Compiler Bugs in GCC and LLVM
Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su
PDF Cite DOI