Research Projects

I have participated in the following funded research projects:

  1. 自成长复杂软件系统构建方法与运行支撑研究(Research on System Construction and Runtime Support for Growing Complex Software, NSFC 61932021, Co-PI, ongoing)

  2. 应对智能移动计算平台演化的应用软件质量保障技术的研究(Automated Software Quality Assurance Techniques for Taming Application Issues Induced by the Evolution of Mobile Computing Platforms, NSFC 61802164, PI, ongoing)

  3. 基于静态分析的Android应用死循环检测 (Automated Detection of Inifinite Loops in Android Applications via Static Analysis, PI, ongoing collaboration with Huawei)

  4. Enabling Developers and Manufacturers to Tame Android Compatibility Issues (GRF16202917, Co-Investigator, ongoing)

  5. Diagnosing Energy Inefficiencies in Mobile Apps based on Observable Sensory Data Utilization (GRF611813, completed)

  6. Fault Detection of Event-Driven Mobile Applications Using Static Analysis (GRF611912, completed)

  7. Effective Model Checking for Context-aware Adaptive Applications (KFKT2012A08, funded by Nanjing University, completed)

  8. Effective Regression Fault Detection for the Reuse of Spreadsheets (GRF611811, completed)

  9. Detecting Adaptation Faults in Context-aware Pervasive Applications (GRF612210, completed)

These projects investigate the following topics:

(1) Trustworthy AI systems

(2) Web application security

(3) Mobile software quality assurance

(4) Dependability improvement for adaptive systems

(5) Fundamental testing and analysis methods


Site maintained by yepangliu, last updated: 2019-10-18 21:13:31 +0800