Model-based testing of global properties on large-scale distributed systems.
Gerson SunyéEduardo Cunha de AlmeidaYves Le TraonBenoit BaudryJean-Marc JézéquelPublished in: Inf. Softw. Technol. (2014)
Keyphrases
- distributed systems
- model based testing
- security policies
- distributed environment
- fault tolerant
- geographically distributed
- distributed computing
- load balancing
- data replication
- mobile agents
- fault tolerance
- real world
- software architecture
- distributed database systems
- operating system
- deadlock detection
- real time systems
- testing process
- neural network
- test cases
- software design
- loosely coupled
- case study
- learning algorithm