7th IEEE International Workshop on Program Debugging (IWPD 2016)
Software today is larger and more complex than ever before. Under this circumstance, it is not surprising that the debugging process is becoming more difficult and costly. On the other hand, it presents golden opportunities for researchers to make significant impacts on solving real-world problems. While manual debugging is impractical for large software, techniques that claim to effectively locate a fault have not matured to the desired level of accuracy, consistency, and usability. Developers face many obstacles during the debugging process, such as ambiguities of distinguishing executions in the presence of multiple causative faults, difficulties in reliably recording and replaying failed executions, and uncertainty that bug fixes might introduce even more faults into the software. Furthermore, many existing approaches suffer from critical shortcomings that limit their applicability, including the complexity and lack of scalability of formal verification, the imprecision of static analysis, the high performance cost of dynamic techniques, non-productive human-centric debugging environments, and high setup and operating costs. It is very common that researchers rely on simplified assumptions or model their solutions after methods to handle selected subject programs that do not accurately reflect the complexity in large-scale industrial software and related development processes. Therefore, practitioners raise the question of which value research proposals can add to their actual work.
The goal of this workshop is to highlight the most pressing challenges and innovative solutions associated with program debugging, especially with respect to software business, methodologies, techniques, environments, and human factors. Experience reports from industry or empirical studies on these aspects are also welcome. IWPD aims to bring together researchers and practitioners in order to discuss the latest advancements and determine further challenges that must be overcome in the area of program debugging.
| Steering Committee | Program Committee Chairs |
|
W. Eric Wong (chair), University of Texas at Dallas, USA |
Markus Stumptner,University of South Australia, Australia |
| T. H. Tse (chair), The University of Hong Kong, Hong Kong | Xiaoyuan Xie, Wuhan University, China |
| Hira Agrawal, Applied Communication Sciences, USA | |
| W. K. Chan, City University of Hong Kong, Hong Kong | |
| James A. Jones, University of California, Irvine, USA | |
| Franz Wotawa, Graz University of Technology, Austria |
Workshop Sessions
Session Chair: Xiaoyuan Xie
- Opening remarks by Xiaoyuan Xie
- Invited speech - Tales of Automated Program Debugging: From the Visions to Methods, Practical Applications, and the Next Big Thing by Franz Wotawa
- Replaying Harmful Data Races in Android Apps by Quan Sun, Lei Xu, Lin Chen, and Weifeng Zhang
Session Chair: Ingo Pill
- Static Spreadsheet Analysis by Patrick W. Koch, Birgit Hofer, and Franz Wotawa
- The Slice Navigator: Focused Debugging with Interactive Dynamic Slicing by Arian Treffer and Matthias Uflacker
- Bayesian Network based Program Dependence Graph for Fault Localization by Xiao Yu, Jin Liu, Zijiang James Yang, Xiao Liu, Xiaofei Yin, Shijie Yi
Session Chair: Xiaoyuan Xie
- Invited speech- Reality vs. Desire: Automatic Software Testing and Debugging by Rui Abreu
- A Study of Failures in Community Clusters: The Case of Conte by Subrata Mitra, Suhas Raveesh Javagal, Amiya K. Maji, Todd Gamblin, Adam Moody, Stephen Harrell, and Saurabh Bagchi
Session Chair: Birgit Hofer
- An Automated (F)LTL Test Oracle for Testing with Requirements by Ingo Pill and Franz Wotawa
- An Adaptive Sequence Approach for OOS Test Case Prioritization by Jinfu Chen, Lili Zhu, Tsong Yueh Chen, Rubing Huang, Dave Towey, Fei-Ching Kuo, and Yuchi Guo
- Advances in the Characterization of Cognitive Support for Unit Testing: The Bug-Hunting Game and the Visualization Arsenal by Marllos P. Prado and Auri Marcelo Rizzo Vincenzi
