Mysteries of Dropbox: Property-Based Testing of a Distributed Sync Service [pdf]cis.upenn.edu2 pointskawera8 years ago