Program slicing of Java programs.
Carlos GalindoSergio PérezJosep SilvaPublished in: J. Log. Algebraic Methods Program. (2023)
Keyphrases
- java programs
- program slicing
- description languages
- source code
- fault localization
- multi threaded
- formal verification
- reverse engineering
- software components
- description language
- real time
- relational databases
- software testing
- data abstraction
- multi core processors
- object oriented
- multi agent systems
- cooperative
- multi agent