Mysteries of Dropbox: Property-Based Testing of a Synchronization Service [pdf]publications.lib.chalmers.se2 pointsgmgn4 years ago