Debugging of Java Programs Using HDT with Program Slicing.
Hoon-Joon KouhKi-Tae KimSun-Moon JoWeon-Hee YooPublished in: ICCSA (4) (2004)
Keyphrases
- java programs
- program slicing
- fault localization
- description languages
- source code
- formal verification
- multi threaded
- reverse engineering
- software components
- software maintenance
- model based diagnosis
- description language
- test suite
- software testing
- neural network
- operating system
- information systems
- software systems
- fine grained
- software metrics
- text categorization
- software engineering
- real world