Diagnosing and correcting design inconsistencies in source code with logical abduction.
Sergio CastroCoen De RooverAndy KellensAngela LozanoKim MensTheo D'HondtPublished in: Sci. Comput. Program. (2011)
Keyphrases
- source code
- open source
- object oriented systems
- software systems
- software maintenance
- open source software
- reverse engineer
- legacy software
- software projects
- design process
- building blocks
- user interface
- free software
- static analysis
- program comprehension
- case study
- source files
- plagiarism detection
- software evolution
- software design
- software engineering
- high level
- execution traces
- text files
- visual basic