Publications

Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, Zhendong Su (2022). Characterizing and Finding System Setting-Related Defects in Android Apps. TSE.

Zhengwei Lv, Chao Peng, Zhao Zhang, Ting Su, Kai Liu, Ping Yang (2022). Fastbot2: Reusable Automated Model-based GUI Testing for Android Enhanced by Reinforcement Learning. In proceedings of ASE 2022.

Chao Peng, Zhao Zhang, Zhengwei Lv, Ping Yang (2022). MUBot: Learning to Test Large-Scale Commercial Android Apps like a Human. In proceedings of ICSME 2022.

Chao Peng, Yujun Gao, Ping Yang (2022). Automated Server Testing: an Industrial Experience Report. In proceedings of ICSME 2022.

Sefa Akca, Chao Peng, Ajitha Rajan (2021). Testing Smart Contracts: Which Technique Performs Best?. In proceedings of ESEM 2021.

Chao Peng, Ajitha Rajan, Tianqin Cai (2021). CAT: Change-focused Android GUI Testing. In proceedings of ICSME 2021.

Chao Peng, Ajitha Rajan (2020). Automated Test Generation for OpenCL Kernels Using Fuzzing and Constraint Solving. In proceedings of GPGPU 2020 (workshop of PPoPP 2020).

Sefa Akca, Ajitha Rajan, Chao Peng (2019). SolAnalyser: A Framework for Analysing and Testing Smart Contracts. In proceedings of APSEC 2019.

Chao Peng, Sefa Akca, Ajitha Rajan (2019). SIF: A Framework for Solidity Contract Instrumentation and Analysis. In proceedings of APSEC 2019.

Chao Peng (2019). On the Correctness of GPU Programs. In proceedings of ISSTA 2019.

Chao Peng, Ajitha Rajan (2019). CLTestCheck: Measuring Test Effectiveness for GPU Kernels. In proceedings of FASE 2019 (ETAPS 2019).

PDF Code Poster DOI