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

	The Impact of Test Case Summaries on Bug Fixing Performance: An Empirical Investigation Sebastiano Panichella,1 Annibale Panichella,2 Moritz Beller,2 Andy Zaidman,2 Harald C. Gall1 2 DocID: 1vqn1 - View Document
	Reviewing Your Options: The Case for Using Multiple-Choice Test Items DocID: 1vpvY - View Document
	Linearity testing with entangled provers Thomas Vidick (Based on joint work with T. Ito) We first recall the definition of the linearity test, and give a brief proof of its soundness for the case of classical players, in DocID: 1v7Q6 - View Document
	Is a holistic protolanguage a plausible precursor to language? A test case for a modern evolutionary linguistics Kenny Smith Northumbria University DocID: 1v5b9 - View Document
	On approximating the distributions of goodness-of-fit test statistics based on the empirical distribution function: The case of unknown parameters. Marco Capasso∗ Lucia Alessi∗ DocID: 1uVtp - View Document