A Formal Model of Distributed Systems For Test Generation Missions.
Andrey A. ShchurovPublished in: CoRR (2014)
Keyphrases
- formal model
- distributed systems
- test generation
- test cases
- design automation
- distributed environment
- symbolic execution
- fault tolerant
- load balancing
- geographically distributed
- static analysis
- real time systems
- fault tolerance
- mobile agents
- software testing
- quality assurance
- distributed computing
- distributed database systems
- data replication
- concurrent systems
- software architecture
- agent based systems
- code coverage
- deadlock detection
- software development environments
- security policies