Automated and Algorithmic Debugging - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

3540574174

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Visualization as debugging: Understanding/debugging the Warren Abstract Machine

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019413 ◽

2005 ◽

pp. 255-272

Author(s):

Julio García-Martín ◽

Juan José Moreno-Navarro

Keyword(s):

Abstract Machine ◽

Warren Abstract Machine

Download Full-text

The application of formal specifications to software documentation and debugging

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019418 ◽

2005 ◽

pp. 333-349

Author(s):

Anoop Goyal ◽

Sriram Sankar

Keyword(s):

Formal Specifications ◽

Software Documentation

Download Full-text

Trace-based debugging

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019416 ◽

2005 ◽

pp. 305-314 ◽

Cited By ~ 3

Author(s):

Steven P. Reiss

Download Full-text

Declarative debugging of abstract data types in Gödel

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019409 ◽

2005 ◽

pp. 188-205 ◽

Cited By ~ 1

Author(s):

Dominic Binks

Keyword(s):

Abstract Data Types ◽

Data Types ◽

Abstract Data

Download Full-text

Towards declarative debugging of concurrent constraint programs

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019403 ◽

2005 ◽

pp. 88-100 ◽

Cited By ~ 3

Author(s):

Markus P. J. Fromherz

Download Full-text

Usability criteria for automated debugging systems

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019398 ◽

2005 ◽

pp. 16-39

Author(s):

Nahid Shahmehri ◽

Mariam Kamkar ◽

Peter Fritzson

Keyword(s):

Automated Debugging ◽

Usability Criteria

Download Full-text

Automatic diagnosis of VLSI digital circuits using algorithmic debugging

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019419 ◽

2005 ◽

pp. 350-367 ◽

Cited By ~ 5

Author(s):

Kizysztof Kuchcinski ◽

Wlodzimierz Drabent ◽

Jan Maluszynski

Keyword(s):

Digital Circuits ◽

Automatic Diagnosis

Download Full-text

The notions of symptom and error in declarative diagnosis of logic programs

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019399 ◽

2005 ◽

pp. 40-57 ◽

Cited By ~ 7

Author(s):

Gérard Ferrand

Keyword(s):

Logic Programs

Download Full-text

Towards a plan calculus based intelligent debugging system

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019415 ◽

2005 ◽

pp. 287-304

Author(s):

Rudi Lutz

Download Full-text

Identifying faulty modifications in software maintenance

Automated and Algorithmic Debugging - Lecture Notes in Computer Science ◽

10.1007/bfb0019417 ◽

2005 ◽

pp. 315-332 ◽

Cited By ~ 3

Author(s):

Bogdan Korel

Keyword(s):

Software Maintenance

Download Full-text

Automated and Algorithmic Debugging - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Visualization as debugging: Understanding/debugging the Warren Abstract Machine

The application of formal specifications to software documentation and debugging

Trace-based debugging

Declarative debugging of abstract data types in Gödel

Towards declarative debugging of concurrent constraint programs

Usability criteria for automated debugging systems

Automatic diagnosis of VLSI digital circuits using algorithmic debugging

The notions of symptom and error in declarative diagnosis of logic programs

Towards a plan calculus based intelligent debugging system

Identifying faulty modifications in software maintenance

Automated and Algorithmic Debugging - Lecture Notes in Computer Science
Latest Publications