QuickCheck

Known as: Quick check 
QuickCheck is a combinator library originally written in Haskell, designed to assist in software testing by generating test cases for test suites. It… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1986-2018
0102019862018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
AUTOSAR (AUTomotive Open System ARchitecture) is an evolving standard for embedded software in vehicles, defined by the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
2011
2011
Writing EUnit tests is more common than writing QuickCheck specifications, although QuickCheck specifications potentially explore… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 9
Is this relevant?
2011
2011
  • John Hughes
  • 2011 Formal Methods in Computer-Aided Design…
  • 2011
QuickCheck is a tool which tests software against a formal specification, reporting discrepancies as minimal failing examples… (More)
Is this relevant?
2009
2009
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
One of the nice things about purely functional languages is that functions often satisfy simple properties, and enjoy simple… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the… (More)
Is this relevant?
2002
2002
QuickCheck is a previously published random testing tool for Haskell programs. In this paper we show how to use it for testing… (More)
Is this relevant?
2002
2002
If you believe this document infringes copyright then please contact the KAR admin team with the take-down information provided… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Quick Check is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are… (More)
Is this relevant?