Software Testing

RepoSim: Evaluating Prompt Strategies for Code Completion via User Behavior Simulation
Large language models (LLMs) have revolutionized code completion tasks. IDE plugins such as Copilot can generate code recommendations, …
Chao Peng, Qinyun Wu, Jiangchao Liu, Jierui Liu, Bo Jiang, Mengqian Xu, Yinghao Wang, Xia Liu, Ping Yang
PDF
Neat: Mobile App Layout Similarity Comparison based on Graph Convolutional Networks
A wide variety of device models, screen resolutions and operating systems have emerged with recent advances in mobile devices. As a …
Zhu Tao, Yongqiang Gao, Jiayi Qi, Chao Peng, Qinyun Wu, Xiang Chen, Ping Yang
PDF
Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning
Android Apps are frequently updated to keep up with changing user, hardware, and business demands. Ensuring the correctness of App …
Chao Peng, Zhengwei Lv, Jiarong Fu, Jiayuan Liang, Zhao Zhang, Ajitha Rajan, Ping Yang
PDF Cite
AG3: Automated Game GUI Text Glitch Detection based on Computer Vision
With the advancement of device software and hardware performance, and the evolution of game engines, an increasing number of emerging …
Xiaoyun Liang, Jiayi Qi, Yongqiang Gao, Chao Peng, Ping Yang
PDF Cite DOI
Effective Concurrency Testing for Go via Directional Primitive-constrained Interleaving Exploration

The Go language (Go/Golang) has been attracting increasing attention from the industry in recent years due to its straightforward …
Zongze Jiang, Ming Wen, Yixin Yang, Chao Peng, Ping Yang, Hai Jin
PDF Cite Project
NxtUnit: Automated Unit Test Generation for Go
Automated test generation has been extensively studied for dynamically compiled or typed programming languages like Java and Python. …
Siwei Wang, Xue Mao, Ziguang Gao, Yujun Gao, Qucheng Shen, Chao Peng
PDF Cite Project DOI
Fastbot2: Reusable Automated Model-based GUI Testing for Android Enhanced by Reinforcement Learning
In the industrial setting, mobile apps undergo frequent updates to catch up with the changing real-world requirements. It leads to the …
Zhengwei Lv, Chao Peng, Zhao Zhang, Ting Su, Kai Liu, Ping Yang
PDF Cite Project DOI
Testing Smart Contracts: Which Technique Performs Best?
Executing, verifying and enforcing credible transactions on permissionless blockchains is done using smart contracts. A key challenge …
Sefa Akca, Chao Peng, Ajitha Rajan
PDF Cite DOI
CAT: Change-focused Android GUI Testing
Android Apps are frequently updated, every couple of weeks, to keep up with changing user, hardware and business demands. Correctness …
Chao Peng, Ajitha Rajan, Tianqin Cai
PDF Cite DOI
Automated Test Generation for OpenCL Kernels Using Fuzzing and Constraint Solving

Graphics Processing Units (GPUs) are massively parallel processors offering performance acceleration and energy efficiency unmatched by …
Chao Peng, Ajitha Rajan
PDF Cite Code DOI