Ccfa

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
TzuYu: Learning Stateful Typestates
Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, Chengnian Sun
PDF Cite DOI
Mining Succinct Predicated Bug Signatures
Chengnian Sun, Siau-Cheng Khoo
PDF Cite DOI
Duplicate Bug Report Detection with a Combination of Information Retrieval and Topic Modeling
Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, David Lo, Chengnian Sun
PDF Cite DOI