02913 Advanced Analysis Techniques QuickCheck, Day 6 Jan Midtgaard DTU Compute Outline

Source URL: janmidtgaard.dk

02913 Advanced Analysis Techniques QuickCheck, Day 5 Jan Midtgaard DTU Compute Outline

Source URL: janmidtgaard.dk

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

Source URL: plt.eecs.northwestern.edu

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

Source URL: www.cis.upenn.edu

• Software testing
• Software
• Computing
• QuickCheck
• Dropbox
• Random testing
• Test harness
• Test case

QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper

Source URL: janmidtgaard.dk

• Mathematics
• Mathematical analysis
• Order theory
• Structure
• Lattice theory
• Complete lattice
• Lattice
• Abstract interpretation
• Monotonic function
• Fixed point
• QuickCheck
• KnasterTarski theorem

[Faculty of Science Information and Computing Sciences] Applied Functional Programming USCS 2011

Source URL: foswiki.cs.uu.nl

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Literate programming
• QuickCheck
• Scala
• Haskell
• Software bug

Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro

Source URL: st.inf.tu-dresden.de

• Software testing
• QuickCheck
• Object Constraint Language
• Model-based testing
• Postcondition
• Random testing
• Design by contract
• ECO
• Unit testing
• Unified Modeling Language
• Object Process Methodology
• Test automation

QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes

Source URL: www.eecs.northwestern.edu

• Software engineering
• Computer programming
• Functional languages
• Software testing
• Functional programming
• QuickCheck
• Random testing
• Literate programming
• Procedural programming languages
• Monad
• Test data generation
• Haskell

Property-based testing, race conditions, and QuickCheck John Hughes QuickCheck in a Nutshell

Source URL: www.cse.chalmers.se

QuickCheck QuickCheck The Benefit Bank of North Carolina is a statewide initiative to connect families with work supports.

Source URL: tbb-nc.org