Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging?
Franz WotawaPublished in: ICSOFT (SE/MUSE/GSDCA) (2008)
Keyphrases
- program slicing
- hardware designs
- source code
- java programs
- programs written
- static analysis
- fault localization
- program understanding
- test cases
- novice programmers
- software systems
- execution traces
- computer programs
- symbolic execution
- set of test cases
- programming environments
- software testing
- programming environment
- open source
- software projects
- dynamic analysis
- software maintenance
- description languages
- control flow
- software components
- free software
- program execution
- model based diagnosis
- control program
- programming language
- functional programs
- legacy software
- bug localization
- case study
- high level programming language
- application programs
- software evolution
- test suite
- computer systems
- software development
- maintenance activities
- stable model semantics
- automatic programming
- computer chess
- software architecture
- operating system