Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths. Sriram Sankaranarayanan Aleksandar Chakarov

First Page		Document Content
Date: 2013-04-02 14:26:21 Normal distribution PP Random variable Probability density function Importance sampling Statistical hypothesis testing Variance Test Data Generation Probability box Statistics Probability and statistics Probability theory		Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths. Sriram Sankaranarayanan Aleksandar Chakarov Add to Reading List Source URL: research.microsoft.com Download Document from Source Website File Size: 428,39 KB Share Document on Facebook

	Scalable Test Data Generation from Multidimensional Models Emina Torlak U.C. Berkeley∗ DocID: 1tMnR - View Document
	EXPERIENCE WITH THE COST OF DIFFERENT COVERAGE GOALS FOR TESTING Brian Marick Motorola, Inc. In coverage-based testing, coverage conditions are generated from the program text. For example, a branch generates two conditi DocID: 1qiM8 - View Document
	Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications David Brumley, Pongsin Poosankam Dawn Song Jiang Zheng {dbrumley,ppoosank}@cs.cmu.edu DocID: 1oNTx - View Document
	QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes DocID: 1nkDA - View Document
	Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland DocID: 1n32Q - View Document