位置：成果数据库 > 会议 > 会议详情页
VeriDroid: Automating Android Application Verification
  • 所属机构名称：南京大学
  • 会议名称：ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE 2013 Doctoral Symposium)
  • 时间：2013.12.10
  • 成果类型：会议
  • 相关项目：情境感知自适应软件的失效分析与错误修复技术研究
作者： Yepang Liu|Chang Xu|
同会议论文项目
情境感知自适应软件的失效分析与错误修复技术研究
期刊论文 13 会议论文 18 获奖 6
同项目会议论文
Javelus: A Low Disruptive Approach to Dynamic Software Update
Dynamic Fault Detection in Context-aware Adaptation
IDEA: Improving Dependability for Self-Adaptive Applications
Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications
<span style="font-family:;" roman",serif;font-size:10.5pt;"="" new=
ConsView: Towards Application-specific Consistent Context Views
<span style="font-family:;" roman",serif;font-size:10.5pt;"="" new=
基于搜索的上下文一致性错误处理
上下文一致性错误极其处理对应用影响的研究
Resynchronizing Model-based Self-adaptive Systems with Environments
Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing
<span style="font-family:;" roman",serif;font-size:10.5pt;"="" new=
Hybrid-fixing: 上下文一致性错误的正确修复
Where Has My Battery Gone? Finding Sensor Related Energy Black Holes in Smartphone Applications
DPAC: An Infrastructure for Dynamic Program Analysis of Concurrency Java Programs
Challenges in Developing Software for Cyber-physical Systems
一个面向移动机器人应用的跨平台自适应软件框架