Keyphrases
- fault localization
- programming language
- execution traces
- programs written
- hardware designs
- novice programmers
- java programs
- computer programs
- dynamic analysis
- transformation rules
- program understanding
- source code
- real world
- static analysis
- model based diagnosis
- program execution
- test cases
- open source
- functional language
- program slicing
- expert systems