Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service.
John HughesBenjamin C. PierceThomas ArtsUlf NorellPublished in: ICST (2016)
Keyphrases
- loosely coupled
- fully distributed
- cooperative
- fault tolerant
- distributed systems
- concurrent programs
- service providers
- processor sharing
- distributed environment
- concurrent processes
- computing environments
- service quality
- mission critical
- geographically distributed
- service oriented architecture
- distributed data
- web services
- lightweight
- service discovery
- multi agent
- distributed computing environment
- peer to peer
- computer networks
- customer service
- mobile agents
- information dissemination
- heterogeneous environments
- service delivery
- configuration management
- service oriented
- distributed multimedia
- data management
- management system
- service composition