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, Université d'Orléans, France
Automatic Debugging Support for UML Designs
Johann Schumann
RIACS / NASA Ames, USA
Generation of and Debugging with Logical Pre and Post-Conditions
Ángel Herranz-Nieva, Juan José Moreno-Navarro
Universidad Politécnica 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 andBogdan 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 Universität Mannheim, Germany