McErlang– a tool for model checking Erlang programs in Erlang ˚ Fredlund Lars-Ake Facultad de Inform´atica, Universidad Polit´ecnica de Madrid Clara Benac Earle Departamento de Inform´atica, Universidad Carlos III

First Page		Document Content
Date: 2006-10-05 09:14:51 Software Ericsson Erlang Model checking Queueing theory Model checkers QuickCheck SPIN model checker Computing Statistics Network performance		McErlang– a tool for model checking Erlang programs in Erlang ˚ Fredlund Lars-Ake Facultad de Inform´atica, Universidad Polit´ecnica de Madrid Clara Benac Earle Departamento de Inform´atica, Universidad Carlos III Add to Reading List Source URL: www.erlang.se Download Document from Source Website File Size: 93,43 KB 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