Ccfa

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
Coverage-Directed Differential Testing of JVM Implementations
Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao
PDF Cite DOI
Finding and Analyzing Compiler Warning Defects
Chengnian Sun, Vu Le, Zhendong Su
PDF Cite DOI
Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
Vu Le, Chengnian Sun, Zhendong Su
PDF Cite DOI
Randomized Stress-Testing of Link-Time Optimizers
Vu Le, Chengnian Sun, Zhendong Su
PDF Cite DOI
Querying Sequential Software Engineering Data
Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang, Siau-Cheng Khoo
PDF Cite DOI
Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation
Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun
PDF Cite DOI
Constraint-Based Automatic Symmetry Detection
Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong
PDF Cite DOI