征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介
As software today is larger and more complex than ever before, it is not surprising that the debugging process is also much more difficult and costly. While manual debugging is quickly becoming impractical, techniques that claim to automatically locate a fault have not matured to the desired level of accuracy and consistency. Among the obstacles that developers must face during the debugging process are the ambiguity of distinguishing executions in the presence of multiple causative faults, the difficulty in reliably recording and replaying failed executions, and the uncertainty that bug fixes will not introduce even more faults into the software. Furthermore, many existing approaches suffer from critical shortcomings that limit their applicability, such as the complexity and lack of scalability of formal verification, the imprecision of static analysis, and the high performance cost of dynamic techniques. Studies are underway to resolve these problems, but researchers often rely on unrealistic assumptions or use subject programs that do not accurately reflect large-scale industrial software. Practitioners question whether such research proposals can add much value to their work. The goal of this workshop is to highlight the most pressing challenges and innovative solutions associated with program debugging, especially with respect to methodologies, techniques, and environments. Experience reports from the industry or empir-ical studies on these three aspects are also welcome. IWPD will bring together researchers and practitioners to discuss the latest advancements and determine further challenges that must be overcome in the area of program debugging.
征稿信息

征稿范围

The workshop welcomes submissions that cover, but are not limited to, the following topics: Automation of program debugging Challenges and emerging techniques in program debugging for large scale real-life applications Static and dyna
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    11月04日

    2013

    11月07日

    2013

  • 11月07日 2013

    注册截止日期

主办单位
IEEE Computer Society - C Reliability Society
联系方式
历届会议
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询