Funded Research Projects (Ongoing)

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

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

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

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

Funded Research Projects (Completed)

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

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

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

  4. Effective Regression Fault Detection for the Reuse of Spreadsheets (GRF611811, participant)

  5. Detecting Adaptation Faults in Context-aware Pervasive Applications (GRF612210, participant)


Site maintained by yepangliu, last updated: 2020-07-07 17:54:09 +0800