Contents

Introduction to AADEBUG'95

Program Chair

Program Committee

Program of the workshop (with paper abstracts and some articles)

List and addresses of participants

Links to related pages

AADEBUG'97

Introduction to AADEBUG'95

Over the past decade automated debugging has seen major achievements. However, as debugging is by necessity attached to particular programming paradigms, the results are scattered. Following the first issue of AADEBUG which took place in Linkoeping, Sweden, May 1993, AADEBUG'95 gathered common debugging themes and solutions across programming communities.

The proceedings include the text of the invited talk of Noël Plouzeau and Michel Raynal, 19 contributed papers and 5 posters.

Authors of papers and posters are coming from 12 countries: USA (6), France (4), Germany (4), Sweden (2), Switzerland (2), Australia(1), Canada(1), Finland(1), Hungaria(1), Italie(1), Japan(1), and Korea(1).

Papers and posters cover different paradigms: real-time programming, parallel programming, concurrent programming, distributed programming, object-oriented programming, sequential programming with lazy evaluation, logic programming, functional programming, imperative programming.

Papers cover many aspects of debugging and testing:

• Automation of program analysis: dataflow analysis -slicing-, control flow analysis, algorithmic debugging, model-based diagnosis, event based analysis;
• Testing: based on assertion and specification, test automation;
• Formal specification of debuggers;
• Education;
• Hardware.

Program Chair

• M. Ducassé - IRISA/ INSA de Rennes, France, Mireille.Ducasse@irisa.fr

Program Committee

• M. Bergere - University of Orléans, France, bergere@univ-orleans.fr
• B. Bruegge - CMU, USA, Bernd.Bruegge@cs.cmu.edu
• W. Drabent - Poslish Academy of Sciences, Poland, wdr@mimuw.edu.pl
• P. Fritzson - Linkoeping University, Sweden, petfr@ida.liu.se
• C. Jard - IRISA/CNRS, France,Claude.Jard@irisa.fr
• L. Johnson - USC, ISI, USA, johnson@isi.edu
• M. Kamkar - Linkoeping University, Sweden, marka@ida.liu.se
• B. Korel - Illinois Institute of Technology, USA, korel@charlie.iit.edu
• J. Paakki - University of Jyvaskyla, Finland, paakki@cs.helsinki.fi
• L. M. Pereira - Lisbon New University, Portugal, lmp@fct.unl.pt
• S. P. Reiss - Brown University, USA, spr@cs.brown.edu
• N. Shahmehri - Linkoeping University, Sweden, nahsh@ida.liu.se
• M.- L. Soffa - University of Pittsburgh, USA, soffa@cs.pitt.edu

Local Organization Committee

• Elisabeth Lebret, IRISA, France, Elisabeth.Lebret@irisa.fr
• Marie-Noelle Georgeault, IRISA, France Marie-Noelle.Georgeault@irisa.fr
• Christiane Guyot, IRISA, France, Christiane.Guyot@irisa.fr

With courtesy of E. Lebret

AADEBUG'95 was held in France à la Briantais near Saint Malo on the coast of Britanny.

Program of the workshop

AADEBUG'95 Home Page