Mysteries of Dropbox: Property-Based Testing of a Distributed Sync Service [pdf]