Publications

(2024). Neat: Mobile App Layout Similarity Comparison based on Graph Convolutional Networks. In proceedings of FSE 2024.

(2024). Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning. In proceedings of ICSE 2024 SEIP.

Project

(2023). AG3: Automated Game GUI Text Glitch Detection based on Computer Vision. In proceedings of ESEC/FSE 2023.

(2023). Effective Concurrency Testing for Go via Directional Primitive-constrained Interleaving Exploration. In proceedings of ASE 2023.

Project

(2023). NxtUnit: Automated Unit Test Generation for Go. In proceedings of EASE 2023.

PDF Project

(2022). Characterizing and Finding System Setting-Related Defects in Android Apps. TSE.

PDF Project

(2022). Fastbot2: Reusable Automated Model-based GUI Testing for Android Enhanced by Reinforcement Learning. In proceedings of ASE 2022.

PDF Project

(2022). MUBot: Learning to Test Large-Scale Commercial Android Apps like a Human. In proceedings of ICSME 2022.

PDF

(2022). Automated Server Testing: an Industrial Experience Report. In proceedings of ICSME 2022.

PDF

(2021). Testing Smart Contracts: Which Technique Performs Best?. In proceedings of ESEM 2021.

PDF

(2021). CAT: Change-focused Android GUI Testing. In proceedings of ICSME 2021.

PDF

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

PDF Code DOI

(2019). SolAnalyser: A Framework for Analysing and Testing Smart Contracts. In proceedings of APSEC 2019.

PDF DOI

(2019). SIF: A Framework for Solidity Contract Instrumentation and Analysis. In proceedings of APSEC 2019.

PDF Code DOI

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

PDF DOI

(2019). CLTestCheck: Measuring Test Effectiveness for GPU Kernels. In proceedings of FASE 2019 (ETAPS 2019).

PDF Code Poster DOI