Publications

(2023). Understanding the Reproducibility Issues of Monkey for GUI Testing. In SETTA 2023.

PDF Cite DOI

(2023). Automata-based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. In FSE 2023.

PDF Code DOI

(2023). Property-based Fuzzing for Finding Data Manipulation Errors in Android Apps. In ESEC/FSE 2023.

PDF Cite DOI

(2023). An Empirical Study of Functional Bugs in Android Apps. In ISSTA 2023 [Distinguished Paper!!!].

PDF Cite Code Dataset DOI

(2022). Detecting Non-crashing Functional Bugs in Android Apps via Deep-State Differential Analysis. In ESEC/FSE 2022.

PDF Cite Code DOI

(2021). Fully Automated Functional Fuzzing of Android Apps for Detecting Non-Crashing Logic Bugs. In SPLASH/OOPSLA 2021.

PDF Cite

(2020). ComboDroid: generating high-quality test inputs for Android apps via use case combinations. In ICSE 2020.

PDF Cite Code DOI

(2019). Automatic test-input generation for Android applications. In SCIENTIA SINICA Informationis.

PDF Cite DOI

(2018). ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps. In APSEC 2018.

PDF Cite DOI

(2018). AATT+: Effectively manifesting concurrency bugs in Android apps. In SCP.

PDF Cite DOI

(2018). NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications. In SCIS.

PDF Cite DOI

(2017). NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications. In Internetware 2017.

PDF Cite DOI

(0001). E-greenDroid: effective energy inefficiency analysis for android applications. In Internetware 2016.

PDF Cite DOI

(0001). DROIDLEAKS: a comprehensive database of resource leaks in Android apps. In EMSE.

PDF Cite Dataset DOI