Paper-Conference

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
Automated Server Testing: an Industrial Experience Report
A server API bug could have a huge impact on the operation of other servers and clients relying on that API, resulting in service …
Chao Peng, Yujun Gao, Ping Yang
PDF Cite DOI
MUBot: Learning to Test Large-Scale Commercial Android Apps like a Human
Automated GUI testing has been playing a key role to uncover crashes to ensure the stability and robustness of Android apps. Recent …
Chao Peng, Zhao Zhang, Zhengwei Lv, Ping Yang
PDF Cite 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
SIF: A Framework for Solidity Contract Instrumentation and Analysis

Solidity is an object-oriented and high-level language for writing smart contracts that are used to execute, verify and enforce …
Chao Peng, Sefa Akca, Ajitha Rajan
PDF Cite Code DOI
SolAnalyser: A Framework for Analysing and Testing Smart Contracts

Executing, verifying and enforcing credible transactions on permissionless blockchains is done using smart contracts. Smart contracts …
Sefa Akca, Ajitha Rajan, Chao Peng
PDF Cite DOI