Mysteries of Dropbox: Property-Based Testing of a Distributed Sync Service [pdf]03/07•www.cis.upenn.edu