John Hughes et al. (PDF, via Hacker News): File synchronization services such as Dropbox are used by hundreds of millions of people to replicate vital data. Yet formal models of their behavior are lacking. We present the first formal—and testable—model of the core behavior of a modern file synchronizer, and we use it to discover … Continue reading Property-Based Testing of a Synchronization Service