Publications

Shiyang Ye, Chao Ni, Jue Wang, Qianqian Pang, Xinrui Li, Xiaodan Xu (2025). Sembug: Detecting Logic Bugs in Dbms Through Generating Semantic-Aware Non-Optimizing Query. In ICPC 2025.

PDF Cite DOI

Yiheng Xiong, Ting Su, Jue Wang, Jingling Sun, Geguang Pu, Zhendong Su (2024). General and Practical Property-based Testing for Android Apps. In ASE 2024 [Distinguished Paper!!!].

PDF Cite DOI

Huiyu Liu, Qichao Kong, Jue Wang, Ting Su, Haiying Sun (2023). Understanding the Reproducibility Issues of Monkey for GUI Testing. In SETTA 2023.

PDF Cite DOI

Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su (2023). Automata-based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. In FSE 2023.

PDF Code DOI

Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su (2023). Property-based Fuzzing for Finding Data Manipulation Errors in Android Apps. In ESEC/FSE 2023.

PDF Cite DOI

Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su (2023). An Empirical Study of Functional Bugs in Android Apps. In ISSTA 2023 [Distinguished Paper!!!].

PDF Cite Code Dataset DOI

Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su (2022). Detecting Non-crashing Functional Bugs in Android Apps via Deep-State Differential Analysis. In ESEC/FSE 2022.

PDF Cite Code DOI

Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su (2021). Fully Automated Functional Fuzzing of Android Apps for Detecting Non-Crashing Logic Bugs. In SPLASH/OOPSLA 2021.

PDF Cite

Ting Su, Jue Wang, Zhendong Su (2020). Benchmarking automated GUI testing for Android against real-world bugs. In ESEC/FSE 2021.

PDF Cite Code DOI

Jue Wang, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu (2020). ComboDroid: generating high-quality test inputs for Android apps via use case combinations. In ICSE 2020.

PDF Cite Code DOI

Jue Wang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu (2019). Automatic test-input generation for Android applications. In SCIENTIA SINICA Informationis.

PDF Cite DOI

Cong Li, Chang Xu, Lili Wei, Jue Wang, Jun Ma, Jian Lu (2018). ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps. In APSEC 2018.

PDF Cite DOI

Jue Wang, Yanyan Jiang, Chang Xu, Qiwei Li, Tianxiao Gu, Jun Ma, Xiaoxing Ma, Jian Lu (2018). AATT+: Effectively manifesting concurrency bugs in Android apps. In SCP.

PDF Cite DOI

Yi Liu, Jue Wang, Chang Xu, Xiaoxing Ma, Jian Lu (2018). NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications. In SCIS.

PDF Cite DOI

Yi Liu, Jue Wang, Chang Xu, Xiaoxing Ma (2017). NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications. In Internetware 2017.

PDF Cite DOI

Jue Wang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu (0001). E-greenDroid: effective energy inefficiency analysis for android applications. In Internetware 2016.

PDF Cite DOI

Yepang Liu, Jue Wang, Lili Wei, Chang Xu, Shing-Chi Cheung, Tianyong Wu, Jun Yan, Jian Zhang (0001). DROIDLEAKS: a comprehensive database of resource leaks in Android apps. In EMSE.

PDF Cite Dataset DOI