|
||||||||||||
|
||||||||||||
|
|
||||||||||||
|
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://wwwbruegge.in.tum.de/projects/AADEBUG/Home.html 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 Guenter Teubner who has responded
so kindly to my many requests and has been fixing so many logistics
issues.
Mireille Ducassé
IRISA/INSA de Rennes |
||||||||||||
Bernd Bruegge, Technische Universitaet Muenchen, Germany (local chair) Wlodzimierz Drabent, Polish Academy of Sciences, Poland Mireille Ducasse, IRISA/INSA, France (program chair) Keith Gallagher, Loyola College in Maryland, USA Thomas.Gross, CMU, USA and ETH Zurich, Swizterland David R. Hanson, Microsoft Research, USA Mariam Kamkar, Linköping University, Sweden Bogdan Korel, Illinois Institute of Technology, USA Henrik Nilsson, Linköping University, Sweden Pascale Thevenod-Fosse, LAAS-CNRS, France Frank Tip, IBM T.J. Watson Research Center, USA Kazunori Ueda, Waseda University, Japan Roland Wismüller, Technische Universitaet Muenchen, Germany | ||||||||||||
|
|
||||||||||||
| The following people acted as referees: Mikhail Auguston, Jorge Luis Victoria Barbosa, Armin Biere, Manuel M.T. Chakravarty, Jacques Chassin de Kergommeaux, Pierre Deransart, Wlodzimierz Drabent, Mireille Ducassé, Keith Gallagher, Thomas Gross, David R. Hanson, Leszek Holenderski, Matthew Huntbach, Katsuro Inoue, Erwan Jahier, Narendra Jussien, Tomio Kamada, Mariam Kamkar, Bogdan Korel, Jan Maluszynski, Miroslawa Milkowska, Ulrich Neumerkel, Henrik Nilsson, Jacek Plodzien, Pawel Rychlikowski, Kazuko Takahashi, Alexandre Tessier, Pascale Thevenod-Fosse, Frank Tip, Andrew Tolmach, Tomasz Truderung, Kazunori Ueda, Roland Wismüller, Ben Zorn | ||||||||||||
|
Automatic Performance Debugging (Invited talk)
Michael Gerndt
Execution Replay and debugging (Invited talk)
Automated debugging by trace query (Survey slides)
|
||||||||||||
|
|
||||||||||||
|
Extension Language Automation of Embedded System Debugging
Dale Parson, Bryan Schlieder, Paul Beatty
On-the-fly Query-Based Debugging
Kima - an Automated Error Correction System for Concurrent Logic Programs
|
||||||||||||
|
|
||||||||||||
|
Assertion checker for the C programming language based on computations over event traces
Mikhail Auguston
Collecting Graphical Abstract Views of Mercury Program Executions
Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre
Generation of and Debugging with Logical Pre and Post-Conditions
Non-intrusive on-the-fly data race detection using execution replay
Support for Debugging Automatically Parallelized Programs
Slicing of Constraint Logic Programs
Value Withdrawal Explanation in CSP
In Search of Yeti: Footprint Analysis with Wildebeest
Automatic Debugging Support for UML Designs
|
||||||||||||
|
|
||||||||||||
|
A Brief Overview of the MAD Debugging Activities
Dieter Kranzlmueller, Christian Schaubschlaeger, Jens Volkert
Systematic Debugging of Attribute Grammars
Apache Web Server Execution Tracing Using Third Eye
|
||||||||||||
|
|
||||||||||||
|
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
Model-Based Debugging of Java Programs
Automated Debugging in Java Using OCL and JDI
Slicing Event Traces of Large Software Systems
|
||||||||||||
|
||||||||||||
