Automated distributed system testing: designing an RTI verification system.
John A. TufaroloJeff NielsenSusan SymingtonRichard M. WeatherlyAnnette L. WilsonTimothy C. HyonPublished in: WSC (1999)
Keyphrases
- distributed systems
- concurrent systems
- formal verification
- test generation
- distributed environment
- load balancing
- fault tolerant
- distributed computing
- message passing
- geographically distributed
- symbolic execution
- mobile agents
- fault tolerance
- data replication
- test cases
- high assurance
- software architecture
- loosely coupled
- model checking
- mobile computing
- operating system
- security policies
- distributed database systems
- replicated data
- agent technology
- software testing
- context aware