Over the past decades automated debugging has seen major achievements. However, as debugging is by necessity attached to particular programming paradigms, the results are scattered. The aims of the workshop are to gather common themes and solutions across programming communities, and to cross-fertilize ideas.
AADEBUG 2000 in Munich follows AADEBUG'93 in Linkoeping, Sweden; AADEBUG'95 in Saint Malo, France; AADEBUG'97 in Linkoeping, Sweden.
This year we received 37 submissions. Each submission has been reviewed by 3 referees and we are proud to say that the authors got back many thorough comments which, we hope, helped them improve significantly their articles.
The program committee rejected 9 papers and selected 13 long articles for insertion in the proceedings (3 with joined demos), 3 demos and 9 posters, both categories with extended abstracts for insertion in the proceedings. Some posters were withdrawn by their authors and do not appear in these proceedings. There were 5 submissions by program committee members: 2 were accepted as long papers, 1 as poster and 2 were rejected.
A special issue of the Automated Software Engineering journal will appear with selected papers from the workshop.
The geographical repartition is rather fair (although this had absolutely no influence in the selection process): for long papers, 6 come from North America, 6 from Europe, and 1 from Asia; for posters, 2 come from North America, 2 from Europe, and 1 from Asia; for demos, 1 comes from North America, 1 from Europe, and 1 from Asia.
The addressed paradigms are very varied: embedded systems, object oriented including Java, parallel and distributed, logic programming including constraint LP, and concurrent LP, imperative programming, concurrent programming, Web applications, slicing, attribute grammars, learning.
The workshop web page can be found at http://www.irisa.fr/lande/ducasse/aadebug2000/
I am glad that Michael Gerndt and Koen de Bosschere accepted to give invited talks. Michael Gerndt addresses Automatic Performance Debugging which is a topic overlapping automated debugging. Koen De Bosschere presents Execution Replay and debugging, which, I believe, is a technique relevant on a broader domain than parallel and distributed executions. The inserted article has been prepared by Michiel Ronsse, Koen De Bosschere and Jacques Chassin de Kergommeaux.
I thank the program committee members, the referees (listed below),
Mikhail Auguston for taking care of the demonstrations and Bernd
Bruegge for hosting the workshop at the Technical University in
Munich. I am especially grateful to Guenther Teubner who has responded
so kindly to my many requests and has been fixing so many logistics
issues.
Automatic Performance Debugging (Invited talk)
abstract (ps)
slides (pdf)
Michael Gerndt
Execution Replay and debugging (Invited talk)
Michiel Ronsse, Koen De Bosschere and Jacques Chassin de Kergommeaux
Automated debugging by trace query (Survey slides)
Mireille Ducassé
Extension Language Automation of Embedded System Debugging
Dale Parson, Bryan Schlieder, Paul Beatty
On-the-fly Query-Based Debugging
Raimondas Lencevicius
Kima - an Automated Error Correction System for Concurrent Logic
Programs
Yasuhiro AJIRO, Kazunori UEDA
Assertion checker for the C programming language based on computations
over event traces
Mikhail Auguston
Collecting Graphical Abstract Views of Mercury Program Executions
Erwan Jahier
Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a
debugger for Lustre
Florence Maraninchi and Fabien Gaucher
Generation of and Debugging with Logical Pre and Post-Conditions
Ángel Herranz-Nieva, Juan José Moreno-Navarro
Non-intrusive on-the-fly data race detection using execution replay
Michiel Ronsse and Koen De Bosschere
Support for Debugging Automatically Parallelized Programs
Robert Hood and Gabriele Jost
Slicing of Constraint Logic Programs
Gyongyi Szilagyi, Tibor Gyimothy, Jan Maluszynski
Value Withdrawal Explanation in CSP
Gerard Ferrand, Willy Lesaint and Alexandre Tessier
In Search of Yeti: Footprint Analysis with Wildebeest
Srikanth Sankaran Adayapalam,
Automatic Debugging Support for UML Designs
Johann Schumann
A Brief Overview of the MAD Debugging Activities
Dieter Kranzlmueller, Christian Schaubschlaeger, Jens Volkert
Systematic Debugging of Attribute Grammars
Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, and Masataka Sassa
Apache Web Server Execution Tracing Using Third Eye
Raimondas Lencevicius, Alexander Ran, Rahav Yairi
A Knowledge-based Automated Debugger in Learning System
Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin
Finding Failure Causes through Automated Testing
Holger Cleve and Andreas Zeller
Model-Based Debugging of Java Programs
Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa
Automated Debugging in Java Using OCL and JDI
David J. Murray and Dale E. Parson
Slicing Event Traces of Large Software Systems
Raymond Smith and Bogdan Korel