From Erlang Community

Search for contributions

 Show contributions of new accounts only
 IP Address or username: Namespace: all (Main) Talk User User talk Erlang Community Erlang Community talk Image Image talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk

(Newest | Oldest) View (Newer 50) (Older 50) (20 | 50 | 100 | 250 | 500).

• 13:07, 12 March 2012 (hist) (diff) Category:QuickCheck (top)
• 13:44, 22 March 2010 (hist) (diff) List Generators (top)
• 13:40, 11 December 2009 (hist) (diff) Generate Unique Values (top)
• 13:36, 11 December 2009 (hist) (diff) Generate Unique Values
• 12:52, 11 December 2009 (hist) (diff) Generate Unique Values
• 09:08, 11 December 2009 (hist) (diff) Generate Unique Values
• 12:30, 8 December 2009 (hist) (diff) Generate Unique Values
• 12:29, 8 December 2009 (hist) (diff) Generate Unique Values (New page: Category:QuickCheck ==Authors== Thomas Arts http://www.quviq.com/ ==Generating Unique Values== How to write a generator that produces unique values? Normally, if ...)
• 06:37, 7 July 2009 (hist) (diff) SubSetGenerator (New page: Category:QuickCheck ==Authors== Thomas Arts http://www.quviq.com/ ==Subset Generator== Here's a simple generator that gives you a subset of the elements in a set, i...) (top)
• 20:44, 17 February 2009 (hist) (diff) IP Checksum (top)
• 20:43, 17 February 2009 (hist) (diff) IP Checksum
• 19:42, 17 February 2009 (hist) (diff) IP Checksum
• 19:29, 17 February 2009 (hist) (diff) IP Checksum
• 19:15, 17 February 2009 (hist) (diff) BuggyPrecondition (top)
• 18:16, 17 February 2009 (hist) (diff) IP Checksum (New page: Category:QuickCheck ==Authors== Thomas Arts http://www.quviq.com/ == Testing IP checksum implementations == In RFC 1071 efficient algorithms are discussed for compu...)
• 11:28, 30 December 2008 (hist) (diff) SideEffectsInGeneration (New page: Category:QuickCheck ==Authors== John Hughes posted by Thomas Arts http://www.quviq.com/ ==Side-effects and Generation== Suppose you are testing a server with, among...) (top)
• 10:55, 30 December 2008 (hist) (diff) BuggyPrecondition
• 10:45, 30 December 2008 (hist) (diff) BuggyPrecondition (QuickCheck Tip on How to find buggy preconditions)
• 17:49, 18 November 2008 (hist) (diff) Timing Properties (top)
• 17:48, 18 November 2008 (hist) (diff) m Identity Properties (top)
• 17:48, 18 November 2008 (hist) (diff) m Recursive Genereators (top)
• 17:47, 18 November 2008 (hist) (diff) Recursive Genereators
• 17:43, 18 November 2008 (hist) (diff) m Recursive Genereators
• 17:41, 18 November 2008 (hist) (diff) Recursive Genereators
• 11:52, 20 October 2008 (hist) (diff) Recursive Genereators
• 11:50, 20 October 2008 (hist) (diff) Recursive Genereators
• 11:23, 20 October 2008 (hist) (diff) Recursive Genereators
• 11:13, 20 October 2008 (hist) (diff) QuickCheckRecursiveGenereators (top)
• 11:07, 20 October 2008 (hist) (diff) Recursive Genereators (New page: Category:QuickCheck ==Authors== Thomas Arts ==Recursive Generators== Assume you write a function that takes a recursively defined data type as input and you like to ...)
• 11:04, 20 October 2008 (hist) (diff) QuickCheckRecursiveGenereators (New page: Category:QuickCheck ==Authors== Thomas Arts ==Recursive Generators== Assume you write a function that takes a recursively defined data type as input and you like to ...)
• 08:45, 19 September 2008 (hist) (diff) User:Thomas (top)
• 08:44, 19 September 2008 (hist) (diff) User:Thomas (New page: == Thomas Arts == email: thomas.arts@quviq.com)
• 08:43, 19 September 2008 (hist) (diff) List Generators
• 14:15, 9 August 2008 (hist) (diff) Convert Epoch Seconds to DMYHMS (Added a symmetric solution that returns values) (top)
• 17:28, 8 August 2008 (hist) (diff) Identity Properties
• 17:28, 8 August 2008 (hist) (diff) Identity Properties
• 17:25, 8 August 2008 (hist) (diff) Identity Properties
• 17:24, 8 August 2008 (hist) (diff) Identity Properties
• 17:22, 8 August 2008 (hist) (diff) Identity Properties
• 17:17, 8 August 2008 (hist) (diff) Identity Properties
• 16:59, 8 August 2008 (hist) (diff) Identity Properties (New page: Category:QuickCheck ==Authors== Thomas Arts ==Identity Properties== In some cases we write functions that have a dual operation, for example *encode* and *decode*, *p...)
• 11:14, 8 August 2008 (hist) (diff) Category:QuickCheck
• 11:14, 8 August 2008 (hist) (diff) QuickCheck
• 11:12, 8 August 2008 (hist) (diff) Category:QuickCheck
• 11:11, 8 August 2008 (hist) (diff) Category:QuickCheck
• 11:10, 8 August 2008 (hist) (diff) QuickCheckTimeProperties (top)
• 11:10, 8 August 2008 (hist) (diff) Timing Properties (essentially a copy of QuickCheckTimingProperties)
• 11:08, 8 August 2008 (hist) (diff) QuickCheckTimeProperties
• 09:39, 8 August 2008 (hist) (diff) QuickCheckTimeProperties
• 09:39, 8 August 2008 (hist) (diff) QuickCheckTimeProperties

(Newest | Oldest) View (Newer 50) (Older 50) (20 | 50 | 100 | 250 | 500).