|
||||||||||||
|
||||||||||||
|
|
||||||||||||
|
|
||||||||||||
| 8.00 | Welcome desk opens | |||||||||||
| 9.00 - 9.15 | Opening | |||||||||||
| 9.15 - 10.15 |
Survey Automated debugging by trace query |
Mireille Ducasse | ||||||||||
| 10.15 - 10.45 | Break | |||||||||||
| 10.45 - 11.30 | Extension Language Automation of Embedded System Debugging | Dale Parson, Bryan Schlieder, Paul Beatty | ||||||||||
| 11.30 - 12.15 | On-the-fly Query-Based Debugging | Raimondas Lencevicius | ||||||||||
| 12.15 - 12.45 | Assertion checker for the C programming language based on computations over event traces | Mikhail Auguston | ||||||||||
| 12.45 - 14.00 | Lunch | |||||||||||
| 14.00 - 14.30 | Collecting Graphical Abstract Views of Mercury Program Executions | Erwan Jahier | ||||||||||
| 14.30 - 15.00 | Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre | Florence Maraninchi and Fabien Gaucher | ||||||||||
| 15.00 - 15.30 | Generation of and Debugging with Logical Pre and Post-Conditions | Angel Herranz-Nieva, Juan Jose Moreno-Navarro | ||||||||||
| 15.30 - 16.00 | Break | |||||||||||
| 16.00 - 16.20 | A Knowledge-based Automated Debugger in Learning System | Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin | ||||||||||
| 16.20 - 16.40 | Finding Failure Causes through Automated Testing | Holger Cleve and Andreas Zeller | ||||||||||
| 16.40 - 17.00 | Model-Based Debugging of Java Programs | Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa | ||||||||||
|
|
||||||||||||
| 9.00 - 10.00 | Invited talk: Automatic Performance Debugging | Michael Gerndt | ||||||||||
| 10.00 - 10.30 | Break | |||||||||||
| 10.30 - 11.15 | Kima -- an Automated Error Correction System for Concurrent Logic Programs | Yasuhiro Ajiro, Kazunori Ueda | ||||||||||
| 11.15 - 11.45 | Non-intrusive on-the-fly data race detection using execution replay. | Michiel Ronsse, Koen De Bosschere | ||||||||||
| 11.45 - 13.00 | Lunch | |||||||||||
| 13.00 - 13.30 | Support for Debugging Automatically Parallelized Programs | Robert Hood, Gabriele Jost | ||||||||||
| 13.30 - 14.00 | A Brief Overview of the MAD Debugging Activities | Dieter Kranzlmueller, Christian Schaubschlaeger, Jens Volkert | ||||||||||
| 14.30 - 16.45 | Guided Tour at the Deutsches Museum | |||||||||||
| 19.00 - 23.00 | Banquet | |||||||||||
|
|
||||||||||||
| 9.00 - 10.00 | Invited talk: Execution Replay and debugging | Koen de Bosschere, Jacques Chassin de Kergommeaux, Michiel Ronsse | ||||||||||
| 10.00 - 10.20 | Automated Debugging in Java Using OCL and JDI | David J. Murray, Dale E. Parson | ||||||||||
| 10.20 - 10.40 | Slicing Event Traces of Large Software Systems | Raymond Smith, Bogdan Korel | ||||||||||
| 10.40 - 11.15 | Break | |||||||||||
| 11.15 - 11.45 | Slicing of Constraint Logic Programs | Gyongyi Szilagyi, Tibor Gyimothy, Jan Maluszynski | ||||||||||
| 11.45 - 12.15 | Value Withdrawal Explanation in CSP | Gerard Ferrand, Willy Lesaint, Alexandre Tessier | ||||||||||
| 12.15 - 12.45 | Systematic Debugging of Attribute Grammars | Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, and Masataka Sassa | ||||||||||
| 12.45 - 14.00 | Lunch | |||||||||||
| 14.00 - 14.30 | In Search of Yeti: Footprint Analysis with Wildebeest | Srikanth Sankaran Adayapalam | ||||||||||
| 14.30 - 15.00 | Apache Web Server Execution Tracing Using Third Eye | Raimondas Lencevicius, Alexander Ran, Rahav Yairi | ||||||||||
| 15.00 - 15.30 | Automatic Debugging Support for UML Designs | Johann Schumann | ||||||||||
| 15.30 - 16.00 | Closing | |||||||||||
|
||||||||||||
