John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell. Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. In 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016. pages 135-145, IEEE Computer Society, 2016. [doi]
Abstract is missing.