位置：成果数据库 > 会议 > 会议详情页
Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：11th International Conference on Quality Software (QISC'11)
  • 时间：2011
  • 成果类型：会议
  • 相关项目：动态服务组合自治愈关键技术研究
作者： 伍晓泉;许中兴;魏峻|
同会议论文项目
动态服务组合自治愈关键技术研究
期刊论文 4 会议论文 8 专利 1
同项目会议论文
Runtime Verification of Data-Centric Properties in Service Based Systems
Runtime Monitoring of Composite Web Services with BC-Mon4BPEL
Generating Open API Usage Rule From Error Description
面向移动平台的消息通讯服务设计与实现
基于日志挖掘的移动应用用户访问模型建模技术研究
Runtime Monitoring of Data-centric Temporal Properties for Web Services
Debug Concurrent Programs With Visualization and Inference of Event Structure