Keyphrases
- fault localization
- object oriented
- abductive inference
- model based diagnosis
- hypothesis formation
- novice programmers
- deductive reasoning
- execution traces
- software testing
- hardware designs
- functional programs
- database languages
- parallel programming
- explanation based learning
- parallel processing
- databases
- java programs
- database language
- parallel algorithm
- software development
- knowledge representation
- artificial neural networks
- digital libraries
- data structure
- e learning