4. AADEBUG 2000: Munich, Germany

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

@proceedings{DBLP:conf/aadebug/2000,
  editor    = {Mireille Ducass{\'e}},
  title     = {Proceedings of the Fourth International Workshop on Automated
               Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000},
  booktitle = {AADEBUG},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Invited Talks

Michael Gerndt: Towards automatic performance debugging tools.
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.
Á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.
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.

Last update Mon May 21 02:19:00 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page