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