Randomized testing of distributed systems with probabilistic guarantees.
Burcu Kulahcioglu OzkanRupak MajumdarFilip NiksicMitra Tabaei BefroueiGeorg WeissenbacherPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- message passing
- fault tolerance
- distributed environment
- geographically distributed
- distributed computing
- security policies
- operating system
- distributed database systems
- mobile computing
- mobile agents
- real time systems
- bayesian networks
- loosely coupled
- database systems
- database
- agent technology
- test cases
- data replication
- deadlock detection