Proceedings Article10.1145/1500175.1500363
Program debugging
Helene E. Kulsrud,Robert M. Blazer,Hermann H. Goldstine,Ralph Grishman,M. D. McIlroy,P. E. Hagerty +5 more
- 06 May 1974
pp 983-983
8
TL;DR: The panelists will consider many phases of the debugging activity as it exists today, giving their views on current and proposed tools and techniques.
read more
Abstract: The computing community is now concerned with the cost in time and money consumed by the debugging process. In spite of advances, such as proving program correctness, use of higher level languages and new methods for structuring programs, the problem remains. The panelists will consider many phases of the debugging activity as it exists today, giving their views on current and proposed tools and techniques.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Discovering Documentation for Java Container Classes
TL;DR: This work has implemented a tool that automatically derives documentation in the form of formal specifications that probes Java classes by invoking them on dynamically generated tests and captures the information observed during their execution as algebraic axioms.
67
A declarative debugger of incorrect answers for constraint functional-logic programs
Rafael Caballero
- 29 Sep 2005
TL;DR: This work presents here a graphical debugging environment for constraint lazy functional-logic programs based on declarative debugging, and supports programs including equality and disequality constraints.
51
•Journal Article
A survey of intelligent debugging
Markus Stumptner,Franz Wotawa +1 more
TL;DR: An overview of Artificial Intelligence approaches to the development of intelligent debugging systems is presented, and the potential of modeldbased reasoning is illustrated by discussing several models that are currently in various stages of realization, from prototype implementations to test use in an industrial environment.
34
Formal language identification: query learning vs. gold-style learning
Steffen Lange,Sandra Zilles +1 more
TL;DR: Two different types of query learning models are investigated in the context of learning indexable classes of recursive languages: Angluin's original model and a relaxation thereof, called learning with extra queries, which documents the naturalness of the new query model.
17
Towards Stepwise, Schema-Guided Synthesis of Logic Programs
Pierre Flener,Yves Deville +1 more
- 01 Jan 1992
TL;DR: This work justifies some design choices for the development of a particular synthesis mechanism that is guided by a Divide-and-Conquer schema, is inductive and deductive, is interactive, and features a non-incremental presentation of examples.
16
References
Discovering Documentation for Java Container Classes
TL;DR: This work has implemented a tool that automatically derives documentation in the form of formal specifications that probes Java classes by invoking them on dynamically generated tests and captures the information observed during their execution as algebraic axioms.
67
•Journal Article
A survey of intelligent debugging
Markus Stumptner,Franz Wotawa +1 more
TL;DR: An overview of Artificial Intelligence approaches to the development of intelligent debugging systems is presented, and the potential of modeldbased reasoning is illustrated by discussing several models that are currently in various stages of realization, from prototype implementations to test use in an industrial environment.
34
Formal language identification: query learning vs. gold-style learning
Steffen Lange,Sandra Zilles +1 more
TL;DR: Two different types of query learning models are investigated in the context of learning indexable classes of recursive languages: Angluin's original model and a relaxation thereof, called learning with extra queries, which documents the naturalness of the new query model.
17
Towards Stepwise, Schema-Guided Synthesis of Logic Programs
Pierre Flener,Yves Deville +1 more
- 01 Jan 1992
TL;DR: This work justifies some design choices for the development of a particular synthesis mechanism that is guided by a Divide-and-Conquer schema, is inductive and deductive, is interactive, and features a non-incremental presentation of examples.
16
JADE - AI Support for Debugging Java Programs*
Cristinel Mateis,Markus Stumptner,Dominik Wieland,Franz Wotawa +3 more
- 01 Nov 2000
TL;DR: A model-based debugger for Java programs to provide intelligent support for the programmer trying to locate the location of an error by using one or more models derived from the source code of the program without additional spec$cations except the Java semantics.
14