6. AADEBUG 2005: Monterey, CA, USA

• William Pugh:
  Keynote talk: Advice to bug hunters. 1-2
  Electronic Edition (ACM DL) BibTeX
• Christian Lindig:
  Random testing of C calling conventions. 3-12
  Electronic Edition (ACM DL) BibTeX
• Steven P. Reiss:
  Specifying and checking component usage. 13-22
  Electronic Edition (ACM DL) BibTeX
• Chad D. Sterling, Ronald A. Olsson:
  Automated bug isolation via program chipping. 23-32
  Electronic Edition (ACM DL) BibTeX
• Xiangyu Zhang, Haifeng He, Neelam Gupta, Rajiv Gupta:
  Experimental evaluation of using dynamic slices for fault location. 33-42
  Electronic Edition (ACM DL) BibTeX
• Bernhard Peischl, Franz Wotawa:
  Error traces in model-based debugging of hardware description languages. 43-48
  Electronic Edition (ACM DL) BibTeX
• Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
  Justification and debugging of answer set programs in ASP. 49-58
  Electronic Edition (ACM DL) BibTeX
• Ian MacLarty, Zoltan Somogyi, Mark Brown:
  Divide-and-query and subterm dependency tracking in the mercury declarative debugger. 59-68
  Electronic Edition (ACM DL) BibTeX
• Yasushi Saito:
  Jockey: a user-space library for record-replay debugging. 69-76
  Electronic Edition (ACM DL) BibTeX
• Adrian Pop, Peter Fritzson:
  Debugging natural semantics specifications. 77-82
  Electronic Edition (ACM DL) BibTeX
• Bjorn De Sutter, Bruno De Bus, Michiel Ronsse, Koen De Bosschere:
  Backtracking and dynamic patching for free. 83-88
  Electronic Edition (ACM DL) BibTeX
• Borislav Nikolik:
  Convergence debugging. 89-98
  Electronic Edition (ACM DL) BibTeX
• Valentin Dallmeier, Christian Lindig, Andreas Zeller:
  Lightweight bug localization with AMPLE. 99-104
  Electronic Edition (ACM DL) BibTeX
• Remko Tronçon, Gerda Janssens:
  Analyzing & debugging ILP data mining query execution. 105-110
  Electronic Edition (ACM DL) BibTeX
• Kevin Camera, Hayden Kwok-Hay So, Robert W. Brodersen:
  An integrated debugging environment for reprogrammble hardware systems. 111-116
  Electronic Edition (ACM DL) BibTeX
• Alex Ho, Steven Hand:
  On the design of a pervasive debugger. 117-122
  Electronic Edition (ACM DL) BibTeX
• Naveen Kumar, Bruce R. Childers, Mary Lou Soffa:
  Tdb: a source-level debugger for dynamically translated programs. 123-132
  Electronic Edition (ACM DL) BibTeX
• Donglin Liang, Kai Xu:
  Debugging object-oriented programs with behavior views. 133-142
  Electronic Edition (ACM DL) BibTeX
• Ludovic Langevine, Mireille Ducassé:
  A tracer driver for hybrid execution analyses. 143-148
  Electronic Edition (ACM DL) BibTeX
• Yoonsik Cheon, Gary T. Leavens:
  A contextual interpretation of undefinedness for runtime assertion checking. 149-158
  Electronic Edition (ACM DL) BibTeX
• Alex Shye, Matthew Iyer, Vijay Janapa Reddi, Daniel A. Connors:
  Code coverage testing using hardware performance monitoring support. 159-163
  Electronic Edition (ACM DL) BibTeX