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