[linuxkernelnewbies] AADEBUG 2000: Munich, Germany

[peter teoh]

http://www.informatik.uni-trier.de/~ley/db/conf/aadebug/aadebug2000.html 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.