Mysteries of Dropbox: Property-Based Testing of a Synchronization Service [pdf]

publications.lib.chalmers.se