Proceedings Article10.1109/TAI.2000.889847
JADE - AI Support for Debugging Java Programs*
Cristinel Mateis,Markus Stumptner,Dominik Wieland,Franz Wotawa +3 more
- 01 Nov 2000
- pp 62
14
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.
read more
Abstract: Model-based diagnosis is a successjid AI technique for locating and identifying faults in technical syslems. Extending previous research on model-based diagnosis support for fault search in technical designs, we are building a model-based debugger for Java programs to provide intelligent support for the programmer trying to locate the so~rce 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, the debugger guides the user towards potential sources for incorrect program behaviors, i.e., bugs.
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
A Survey on Software Fault Localization
TL;DR: A comprehensive overview of a broad spectrum of fault localization techniques, each of which aims to streamline the fault localization process and make it more effective by attacking the problem in a unique way is provided.
1.1K
Using machine learning methods in airline flight data monitoring to generate new operational safety knowledge from existing data
Julian Oehling,David J. Barry +1 more
TL;DR: A novel method is developed which can be scaled to work in an airline production environment with large datasets, as demonstrated by the efficient analysis of 1.2 million flights.
64
•Journal Article
Structure and chance: melding logic and probability for software debugging : Real-World Applications of Bayesian Networks
L. Burnell,E. Horvitz +1 more
TL;DR: In this paper, the authors integrate probabilistic and logical program understanding methods to generate a set of feasible execution paths and the use of Probabilistic methods to prioritize the paths for examination and to determine the likelihood of errors on each path.
57
•Posted Content
Electric Vehicle Battery Remaining Charging Time Estimation Considering Charging Accuracy and Charging Profile Prediction.
Junzhe Shi,Leïla Choukroune,Tian Min,Sangwoo Han,Tung-Yan Wu,Tang Yifan +5 more
- 09 Dec 2020
TL;DR: An RCT algorithm that updates the charging accuracy online in the CC stage by considering the confidence interval between the historical charging accuracy and real-time charging accuracy data and a battery resistance prediction model to predict charging current profiles in the CV stage, using a Radial Basis Function (RBF) neural network (NN).
25
Genetic adversarial training of decision trees
Francesco Ranzato,Marco Zanella +1 more
- 26 Jun 2021
TL;DR: MetaSilvae as mentioned in this paper is a genetic algorithm that is able to train a decision tree for maximizing both its accuracy and its robustness to adversarial perturbations, using abstract interpretation.
References
Depth-First Search and Linear Graph Algorithms
TL;DR: The value of depth-first search or “backtracking” as a technique for solving problems is illustrated by two examples of an improved version of an algorithm for finding the strongly connected components of a directed graph.
6.9K
Program Slicing
TL;DR: Program slicing as mentioned in this paper is a method for automatically decomposing programs by analyzing their data flow and control flow. But it is not a technique for finding statement-minimal slices, as it is in general unsolvable, but using data flow analysis is sufficient to find approximate slices.
3.3K
A theory of diagnosis from first principles
TL;DR: The theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates, and reveals close connections between diagnostic reasoning and nonmonotonic reasoning.
3.2K
Program slicing
Keith Gallagher,David Binkley +1 more
- 01 Sep 2008
TL;DR: Applications of program slicing are surveyed, ranging from its first use as a debugging technique to current applications in property verification using finite state models, and a summary of research challenges for the slicing community is discussed.
2.8K
Diagnosing multiple faults
J. de Kleer,Brian C. Williams +1 more
TL;DR: The diagnostic procedure presented in this paper is model-based, inferring the behavior of the composite device from knowledge of the structure and function of the individual components comprising the device.
2.3K
Related Papers (5)
Hoon-Joon Kouh,Weon-Hee Yoo +1 more
- 18 May 2003
Ophelia Chesley,Xiaoxia Ren,Barbara G. Ryder,Frank Tip +3 more
- 24 May 2007