Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service John Hughes, Benjamin Pierce, Thomas Arts, Ulf Norell

First Page		Document Content
Date: 2016-04-13 12:13:18 Software testing Software Computing QuickCheck Dropbox Random testing Test harness Test case		Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service John Hughes, Benjamin Pierce, Thomas Arts, Ulf Norell Add to Reading List Source URL: www.cis.upenn.edu Download Document from Source Website File Size: 1,64 MB Share Document on Facebook

	02913 Advanced Analysis Techniques QuickCheck, Day 6 Jan Midtgaard DTU Compute Outline DocID: 1vpat - View Document
	02913 Advanced Analysis Techniques QuickCheck, Day 5 Jan Midtgaard DTU Compute Outline DocID: 1vdhm - View Document
	Experience with Randomized Testing in Programming Language Metatheory Casey Klein August 6, 2009 Abstract We explore the use of QuickCheck-style randomized testing in programming DocID: 1tH3B - View Document
	Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service John Hughes, Benjamin Pierce, Thomas Arts, Ulf Norell DocID: 1rkJo - View Document
	QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper DocID: 1qW5m - View Document