Automated distributed system testing: application of an RTI verification system.
Annette L. WilsonJames IversTimothy C. HyonJohn A. TufaroloJeff NielsenSusan SymingtonRichard M. WeatherlyPublished in: WSC (1999)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- distributed environment
- software development environments
- distributed computing
- load balancing
- mobile agents
- fault tolerance
- message passing
- distributed database systems
- intelligent agents
- data replication
- test data generation
- symbolic execution
- test cases
- case study