Table of contents (23 papers)

  1. Front Matter
  2. A pragmatic survey of automated debugging
    Mireille Ducassé
    Pages 1-15
  3. Usability criteria for automated debugging systems
    Nahid Shahmehri, Mariam Kamkar, Peter Fritzson
    Pages 16-39
  4. Debugging by diagnosing assumptions
    Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
    Pages 58-74
  5. Debugging logic programs using specifications
    Yuh-jeng Lee, Nachum Dershowitz
    Pages 75-84
  6. Model-based diagnosis meets error diagnosis in logic programs
    Luca Console, Gerhard Friedrich, Daniele Theseider Dupré
    Pages 85-87
  7. Hierarchy in testing distributed programs
    Sridhar Alagar, S. Venkatesan
    Pages 101-116
  8. Lazy algorithmic debugging: Ideas for practical implementation
    Henrik Nilsson, Peter Fritzson
    Pages 117-134
  9. The location of errors in functional programs
    Jonathan E. Hazan, Richard G. Morgan
    Pages 135-152
  10. A generalised query minimisation for program debugging
    Visit Hirunkitti, Christopher J. Hogger
    Pages 153-170
  11. What's in a trace: The box model revisited
    Gerhard Tobermann, Clemens Beckstein
    Pages 171-187
  12. Slicing programs with arbitrary control-flow
    Thomas Ball, Susan Horwitz
    Pages 206-222
  13. Slicing concurrent programs
    Jingde Cheng
    Pages 223-240
  14. Visualization as debugging: Understanding/debugging the Warren Abstract Machine
    Julio García-Martín, Juan José Moreno-Navarro
    Pages 255-272
  15. Graphical user interfaces for algorithmic debugging
    Rickard Westman, Peter Fritzson
    Pages 273-286

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

  • Copyright Information Springer-Verlag 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