Mysteries of Dropbox: Property-Based Testing of a Synchronization Service [pdf]cis.upenn.edu14 pointsch11 years ago