Automated Systematic Testing of Open Distributed Programs.
Koushik SenGul AghaPublished in: FASE (2006)
Keyphrases
- distributed systems
- open systems
- distributed environment
- multi agent
- semi automatic
- communication cost
- concurrent programs
- symbolic execution
- semi automated
- cooperative
- distributed data
- programming environment
- distributed processing
- test cases
- peer to peer
- fault tolerant
- databases
- mobile agents
- set of test cases
- search based testing