Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1993

Automated and Algorithmic Debugging

First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings

Editors:

  1. Peter A. Fritzson
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 749)

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (23 papers)

  1. Front Matter

    PDF

  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

  5. Debugging by diagnosing assumptions

    • Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
    Pages 58-74

  6. Debugging logic programs using specifications

    • Yuh-jeng Lee, Nachum Dershowitz
    Pages 75-84

  7. Model-based diagnosis meets error diagnosis in logic programs

    • Luca Console, Gerhard Friedrich, Daniele Theseider Dupré
    Pages 85-87

  9. Hierarchy in testing distributed programs

    • Sridhar Alagar, S. Venkatesan
    Pages 101-116

  10. Lazy algorithmic debugging: Ideas for practical implementation

    • Henrik Nilsson, Peter Fritzson
    Pages 117-134

  11. The location of errors in functional programs

    • Jonathan E. Hazan, Richard G. Morgan
    Pages 135-152

  12. A generalised query minimisation for program debugging

    • Visit Hirunkitti, Christopher J. Hogger
    Pages 153-170

  13. What's in a trace: The box model revisited

    • Gerhard Tobermann, Clemens Beckstein
    Pages 171-187

  15. Slicing programs with arbitrary control-flow

    • Thomas Ball, Susan Horwitz
    Pages 206-222

  16. Slicing concurrent programs

    • Jingde Cheng
    Pages 223-240

  18. Visualization as debugging: Understanding/debugging the Warren Abstract Machine

    • Julio García-Martín, Juan José Moreno-Navarro
    Pages 255-272

  19. Graphical user interfaces for algorithmic debugging

    • Rickard Westman, Peter Fritzson
    Pages 273-286
Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation