Keyphrases
- program slicing
- source code
- description languages
- fault localization
- formal verification
- reverse engineering
- software metrics
- description language
- software testing
- software systems
- neural network
- software engineering
- knowledge management
- complex systems
- software maintenance
- open source
- programming language
- information systems