4th AADEBUG 2000: Munich, Germany

• 
  Mireille Ducassé:
  Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000. 2000

online publication:

http://xxx.lanl.gov/abs/cs.SE/0010035

Invited Talks

• 
  Michael Gerndt:
  Towards automatic performance debugging tools. AADEBUG 2000
• 
  Michiel Ronsse, Koenraad De Bosschere, Jacques Chassin de Kergommeaux:
  Execution replay and debugging.

Articles with demonstration

• 
  Dale E. Parson, Bryan Schlieder, Paul Beatty:
  Extension Language Automation of Embedded System Debugging.
• 
  Raimondas Lencevicius:
  On-the-fly query-based debugging with examples.
• 
  Yasuhiro Ajiro, Kazunori Ueda:
  Kima- An automated error correction system for concurrent logic programs.

Articles

• 
  Mikhail Auguston:
  Assertion checker for the C programming language based on computations over event traces.
• 
  Erwan Jahier:
  Collecting Graphical Abstract Views of Mercury Program Executions.
• 
  Florence Maraninchi, Fabien Gaucher:
  Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. AADEBUG 2000
• 
  Ángel Herranz-Nieva, Juan José Moreno-Navarro:
  Generation of and Debugging with Logical Pre and Post-Conditions.
• 
  Michiel Ronsse, Koenraad De Bosschere:
  Non-intrusive on-the-fly data race detection using execution replay.
• 
  Robert Hood, Gabriele Jost:
  Support for Debugging Automatically Parallelized Programs.
• 
  Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski:
  Slicing of Constraint Logic Programs.
• 
  Gérard Ferrand, Willy Lesaint, Alexandre Tessier:
  Value Withdrawal Explanation in CSP.
• 
  Srikanth Sankaran Adayapalam:
  In Search of Yeti: Footprint Analysis with Wildebeest. AADEBUG 2000
• 
  Johann Schumann:
  Automatic Debugging Support for UML Designs.

Demonstrations

• 
  Dieter Kranzlmüller, Christian Schaubschläger, Jens Volkert:
  A Brief Overview of the MAD Debugging Activities.
• 
  Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, Masataka Sassa:
  Systematic Debugging of Attribute Grammars.
• 
  Raimondas Lencevicius, Alexander Ran, Rahav Yairi:
  Apache Web Server Execution Tracing Using Third Eye.

Posters

• 
  Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin:
  A Knowledge-based Automated Debugger in Learning System.
• 
  Holger Cleve, Andreas Zeller:
  Finding Failure Causes through Automated Testing.
• 
  Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa:
  Model-Based Debugging of Java Programs.
• 
  David J. Murray, Dale E. Parson:
  Automated Debugging in Java Using OCL and JDI.
• 
  Raymond Smith, Bogdan Korel:
  Slicing Event Traces of Large Software Systems.