Table of contents

  1. Front Matter
  2. Mireille Ducassé
    Pages 1-15
  3. Nahid Shahmehri, Mariam Kamkar, Peter Fritzson
    Pages 16-39
  4. Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
    Pages 58-74
  5. Yuh-jeng Lee, Nachum Dershowitz
    Pages 75-84
  6. Luca Console, Gerhard Friedrich, Daniele Theseider Dupré
    Pages 85-87
  7. Sridhar Alagar, S. Venkatesan
    Pages 101-116
  8. Henrik Nilsson, Peter Fritzson
    Pages 117-134
  9. Jonathan E. Hazan, Richard G. Morgan
    Pages 135-152
  10. Visit Hirunkitti, Christopher J. Hogger
    Pages 153-170
  11. Gerhard Tobermann, Clemens Beckstein
    Pages 171-187
  12. Thomas Ball, Susan Horwitz
    Pages 206-222
  13. Jingde Cheng
    Pages 223-240
  14. Julio García-Martín, Juan José Moreno-Navarro
    Pages 255-272
  15. Rickard Westman, Peter Fritzson
    Pages 273-286
  16. Steven P. Reiss
    Pages 305-314
  17. Kizysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski
    Pages 350-367
  18. Back Matter

About these proceedings


Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task.Automated debugging has seen major develoments over the last decade. Onesuccessful development is algorithmic debugging, which originated in logic programming but was later generalized to concurrent, imperative, and lazy functional languages. Important advances have also been made in knowledge-based program debugging, and in approaches to automated debugging based on static and dynamic program slicing based on dataflow and dependence analysis technology. This is the first collected volume of papers on automated debugging and presents latest developments, tutorial papers, and surveys.


Algorithmic Debugging Algorithmisches Debuggen Automated Debugging Automatisches Debuggen Debuggen Debugging Programmierfehler Programming Errors Software Testing Softwaretest algorithms maintenance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57417-0
  • Online ISBN 978-3-540-48141-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site