Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service.

John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell

Browse the full ICST paper archive.