Publications

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

PDF

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

PDF Cite

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

PDF Cite DOI

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

PDF Cite Project

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

PDF Cite Project DOI

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

PDF Cite Project DOI

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

PDF Cite Project DOI

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

PDF Cite DOI

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

PDF Cite DOI

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

PDF Cite DOI

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

PDF Cite DOI

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

PDF Cite Code DOI

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

PDF Cite DOI

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

PDF Cite Code DOI

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

PDF Cite DOI

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

PDF Cite Code DOI