Testing and Debugging Distributed Programs Using Global Predicates.
S. VenkatesanBrahma DathanPublished in: IEEE Trans. Software Eng. (1995)
Keyphrases
- global knowledge
- java programs
- software testing
- globally distributed
- distributed systems
- hardware designs
- cooperative
- distributed environment
- symbolic execution
- federated databases
- novice programmers
- fully distributed
- multi agent
- mobile agents
- communication cost
- user defined
- distributed data
- remote sites
- lightweight
- computing environments
- multiple autonomous
- program slicing
- fault tolerant