|
||||||||||||||||||
|
||||||||||||||||||
|
|
||||||||||||||||||
| Presentations + Demo | ||||||||||||||||||
|
Extension Language Automation of Embedded System Debugging
Dale Parson, Bryan Schlieder, Paul Beatty Bell Laboratories / Lucent Technologies, USA |
||||||||||||||||||
|
On-the-fly Query-Based Debugging
Raimondas Lencevicius Nokia Research, USA |
||||||||||||||||||
|
Kima -- an Automated Error Correction System for Concurrent Logic
Programs
Yasuhiro AJIRO, Kazunori UEDA Waseda University, Japan |
||||||||||||||||||
| Presentations | ||||||||||||||||||
|
Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a
debugger for Lustre
Florence Maraninchi and Fabien Gaucher VERIMAG, Centre Equation, France |
||||||||||||||||||
|
Assertion checker for the C programming language based on computations
over event traces
Mikhail Auguston New Mexico State University, USA |
||||||||||||||||||
|
Slicing of Constraint Logic Programs
Gyongyi Szilagyi, Tibor Gyimothy, Jan Maluszynski Hungarian Academy of Sciences, Hungary |
||||||||||||||||||
|
Support for Debugging Automatically Parallelized Programs
Robert Hood, Gabriele Jost NASA Ames Research Center, USA |
||||||||||||||||||
|
Non-intrusive on-the-fly data race detection using execution replay.
Michiel Ronsse and Koen De Bosschere RUG-ELIS, Belgium |
||||||||||||||||||
|
Value Withdrawal Explanation in CSP
Gerard Ferrand, Willy Lesaint and Alexandre Tessier LIFO, Universite d'Orleans, France |
||||||||||||||||||
|
Automatic Debugging Support for UML Designs
Johann Schumann RIACS / NASA Ames, USA |
||||||||||||||||||
|
Generation of and Debugging with Logical Pre and Post-Conditions
Angel Herranz-Nieva, Juan Jose Moreno-Navarro Universidad Politecnica de Madrid, Spain, |
||||||||||||||||||
|
Collecting Graphical Abstract Views of Mercury Program Executions
Erwan Jahier IRISA/INSA de Rennes, France |
||||||||||||||||||
|
In Search of Yeti: Footprint Analysis with Wildebeest
Srikanth Sankaran Adayapalam, Hewlett-Packard Company, USA |
||||||||||||||||||
| Demos | ||||||||||||||||||
|
Apache Web Server Execution Tracing Using Third Eye
Raimondas Lencevicius, Alexander Ran, Rahav Yairi Nokia Research Center, USA |
||||||||||||||||||
|
Systematic Debugging of Attribute Grammars
Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, and Masataka Sassa Tokyo Institute of Technology, Japan |
||||||||||||||||||
|
A Brief Overview of the MAD Debugging Activities
Dieter Kranzlmueller, Christian Schaubschlaeger, Jens Volkert GUP Linz, Joh. Kepler University Linz, Austria |
||||||||||||||||||
| Posters | ||||||||||||||||||
|
Automated Debugging in Java Using OCL and JDI
David J. Murray and Dale E. Parson Packard Lab 304 and Bell Labs, Lucent Technologies, USA |
||||||||||||||||||
|
Delta Debugging: Automating the Scientific Method
Holger Cleve and Andreas Zeller Universitaet Passau, Germany |
||||||||||||||||||
|
A framework of an assertion-based algorithmic debugging for
distributed programs
Tusyoshi Ohta, Hideto Kinoshita, Takahiro Kimata, and Tadanori Mizuno Shizuoka University, Japan |
||||||||||||||||||
|
Truly Declarative Debugging of Lazy Functional-Logic Programs
Rafael Caballero, Francisco J. Lopez-Fraguas and Mario Rodriguez-Artalejo. Fac. Matematicas. Univ.Complutense de Madrid, Spain |
||||||||||||||||||
|
A Knowledge-based AutomatedÊ Debugger in Learning System
Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin Universiti Kebangsaan Malaysia, Malaysia |
||||||||||||||||||
|
Model-Based Debugging of Java Programs
Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa Technische Universitaet Wien, Austria, |
||||||||||||||||||
|
Building a Distributed Debugger Using the Web
Jeffrey Korn and Gregory Bond AT&T Labs - Research, USA |
||||||||||||||||||
|
Slicing Event Traces of Large Software Systems
Raymond Smith and Bogdan Korel Lucent Technologies and Illinois Institute of Technology, USA |
||||||||||||||||||
|
Replaying Concurrent Shared-Memory Programs
Peter A. Buhr and Oliver Schuster University of Waterloo, Canada and Universitaet Mannheim, Germany
|
|
| ||||||||||||||||
