Research Experience

I have participated in the following funded research projects:

  • Enabling Developers and Manufacturers to Tame Android Compatibility Issues (GRF16202917)
  • Diagnosing Energy Inefficiencies in Mobile Apps based on Observable Sensory Data Utilization (GRF611813)
  • Fault Detection of Event-Driven Mobile Applications Using Static Analysis (GRF611912)
  • Effective Model Checking for Context-aware Adaptive Applications (KFKT2012A08)
  • Effective Regression Fault Detection for the Reuse of Spreadsheets (GRF611811)
  • Detecting Adaptation Faults in Context-aware Pervasive Applications (GRF612210)

The projects investigate and aim to address the following research problems:

Referred Research Publications

Notice: The electronic versions of some publications listed on this webpage are provided for personal use. Copyright is owned by the respective publishers or persons, and should be inlcuded explicitly in any distribution of the papers.

You may also find links to my publications here: [Google Scholar][Semantic Scholar][DBLP] (results may not be complete).

Conference/Workshop/Symposium Papers

  1. new Lili Wei, Yepang Liu, and S.C. Cheung. OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews. In Proceedings of the 11th Joint Meeting of The European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), Paderborn, Germany, September 2017, pp. 672-682. [pdf]
  2. Yepang Liu, Chang Xu, S.C. Cheung, and Valerio Terragni. Understanding and Detecting Wake Lock Misuses for Android Applications. In Proceedings of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), Seattle, WA, USA, November 2016, pp. 396-409. [acceptance rate: 27.1%][pdf][slides][dataset and tool]
  3. Jue Wang, Yepang Liu, Chang Xu, Xiaoxing Ma, and Jian Lu. E-GreenDroid: Effective Energy Inefficiency Analysis for Android Applications. In Proceedings of the 8th Asia-Pacific Symposium on Internetware (INTERNETWARE 2016), Beijing, China, September 2016, pp. 71-80. [pdf]
  4. award Lili Wei, Yepang Liu, and S.C. Cheung. Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), Singapore, September 2016, pp. 226-237 (ACM SIGSOFT Distinguished Paper Award). [acceptance rate: 19.1%][preprint][dataset]
  5. Valerio Terragni, Yepang Liu, and S.C. Cheung. CSNIPPEX: Automated Synthesis of Compilable Code Snippets from Q&A Sites. In Proceedings of the 25th International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, July 2016, pp. 118-129. [acceptance rate: 25.2%][pdf]
  6. S.C. Cheung, Wanjun Chen, Yepang Liu, and Chang Xu. CUSTODES: Automatic Spreadsheet Cell Clustering and Smell Detection Using Strong and Weak Features. In Proceedings of the 38th International Conference on Software Engineering (ICSE 2016), Austin, TX, USA, May 2016, pp. 464-475. [acceptance rate: 19.1%][tool and dataset][pdf]
  7. Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, and Jian Lu. User Guided Automation for Testing Mobile Apps. In Proceedings of the 21th Asia-Pacific Software Engineering Conference (APSEC 2014), Jeju, Korean, December 2014, pp. 27-34. [acceptance rate: 29.6%][pdf]
  8. Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, and Jian Lu. Verifying Self-adaptive Applications Suffering Uncertainty. In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Vasteras, Sweden, September 2014, pp. 199-209. [acceptance rate: 20.0%][pdf]
  9. award Yepang Liu, Chang Xu, and S.C. Cheung. Characterizing and Detecting Performance Bugs for Smartphone Applications. In Proceedings of 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, May 2014, pp. 1013-1024 (ACM SIGSOFT Distinguished Paper Award). [acceptance rate: 20.0%][pdf][project website][talk slides]
  10. Yepang Liu, and Chang Xu. VeriDroid: Automating Android Application Verification. In Proceedings of the ACM/IFIP/USENIX International Middleware Conference (Middleware 2013 Doctoral Symposium), Beijing, China, December 2013, Article 5, pp. 1-6. [pdf]
  11. Yepang Liu, Chang Xu, and S.C. Cheung. Where Has My Battery Gone? Finding Sensor Related  Energy Black Holes in Smartphone Applications. In Proceedings of the 11th IEEE International Conference on Pervasive Computing and Communications (PerCom 2013), San Diego, California, USA, March 2013, pp. 2-10. [acceptance rate: 11.2%][project website][pdf][talk slides]

Journal/Magazine Papers

  1. Qiwei Li, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma and Jian Lu. CyanDroid: Stable and Effective Energy Inefficiency Diagnosis for Android Apps. In Science China Information Sciences (SCIS), 2016, forthcoming. [pdf]
  2. Wenhua Yang, Yepang Liu, Chang Xu, and S.C. Cheung. A Survey on Dependability Improvement Techniques for Pervasive Computing Systems. In Science China Information Sciences (SCIS), Vol. 58, No. 5, Article 052102, pp. 1-14, May 2015. [pdf]
  3. Yepang Liu, Chang Xu, and S.C. Cheung. Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications. In IEEE Software, Vol. 32, No. 1, pp. 67-75, January 2015. [pdf]
  4. Yepang Liu, Chang Xu, S.C. Cheung. Detecting Energy and Performance Bugs for Smartphone Applications. In Communications of the CCF (in Chinese), Vol. 10, No. 12, pp. 40-42, December 2014. [pdf]
  5. Yepang Liu, Chang Xu, S.C. Cheung, and Jian Lu. GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications. In IEEE Transactions on Software Engineering (TSE), Vol. 40, No. 9, pp. 911-940, September 2014. [pdf][project website]
  6. Yepang Liu, Chang Xu, S.C. Cheung, and Wenhua Yang. CHECKERDROID: Automated Quality Assurance for Smartphone Applications. In International Journal of Software and Informatics (IJSI), Vol. 8, Iss. 1, pp. 21-41, 2014. [pdf] (Invited article based on a keynote talk at Internetware 2013)
  7. Yueqi Li, S.C. Cheung, Xiangyu Zhang, and Yepang Liu. Scaling Up Symbolic Analysis by Removing Z-Equivalent States. In ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 23, Iss. 4, Article 34, pp. 1-32, August 2014. [pdf]
  8. Chang Xu, Yepang Liu, S.C. Cheung, Chun Cao, and Jian Lu. Towards Context Consistency by Concurrent Checking for Internetware Applications. In Science China Information Sciences (SCIS), Vol. 56, Iss. 8, Article 082105, pp. 1-20, August 2013. [pdf]
  9. Yepang Liu, Chang Xu, and S.C. Cheung. AFChecker: Effective Model Checking for Context-Aware Adaptive Applications. In Journal of Systems and Software (JSS), Vol. 86, Iss. 3, pp. 854-867, March 2013. [pdf][project website]

Book Chapters

  1. Yepang Liu, Chang Xu, S.C. Cheung, and Jian Lu. GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications. In Internetware: A New Software Paradigm for Internet Computing, Hong Mei and Jian Lu, Eds.: Springer, 2016, ch. 18, forthcoming.

Doctoral Thesis

  1. Yepang Liu. Automated Analysis of Energy Efficiency and Execution Performance for Mobile Applications. Doctoral Thesis, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, June 2015. [pdf]

Technical Reports

  1. Yepang Liu, Lili Wei, Chang Xu, and Shing-Chi Cheung. DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications. arXiv:1611.08079. [pdf]
  2. Yepang Liu, Chang Xu, S.C. Cheung, and Valerio Terragni. How Do Developers Use Wake Locks in Android Applications? A Large-Scale Empirical Study. Technical Report HKUST-CS15-04. Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, November 2015. [pdf]
  3. Yueqi Li, S.C. Cheung, Xiangyu Zhang, and Yepang Liu. Scaling Up Symbolic Analysis by Removing Z-Equivalent States. Technical Report HKUST-CS13-06. Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, July 2013.
  4. Yepang Liu, Chang Xu, and S.C. Cheung. Verifying Android Applications Using Java PathFinder. Technical Report HKUST-CS12-03. Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, September 2012. [project website]
  5. Yepang Liu. A Survey of Context-Aware Pervasive Applications: From Development Support to Quality Assurance. PhD Qualification Exam Report, Department of Computer Science and Technology, Janurary 2012. [pdf]
Page maintained by Yepang Liu. Last update: November 10, 2017.