From constraint representations of sequential code and program annotations to their use in debugging.
Mihai NicaFranz WotawaPublished in: ECAI (2008)
Keyphrases
- java programs
- program understanding
- programs written
- program slicing
- fault localization
- source code
- execution traces
- novice programmers
- hardware designs
- program code
- reverse engineering
- static analysis
- software maintenance
- dynamic analysis
- program comprehension
- operating system
- mixed mode
- description languages
- control flow
- semantic annotation
- neural network
- linear constraints
- computer programs
- image annotation
- higher level
- software development
- programming language
- programming exercises
- hardware description language
- high level
- program execution
- test suite
- global constraints
- metadata