![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
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
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.
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.