Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

47 relations
C++ClojureCombinator libraryCommon Lisp

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
"Like an old tale still": The Winter’s Tale and Bard on the Beach
  • Paul Budra
  • Scene: Reviews of Early Modern Drama
  • 2018
  • Corpus ID: 188824433
For the production: The Winter's Tale (2017, Bard on the Beach, Canada). 
2017
2017
Validating the Meta-Theory of Programming Languages (Short Paper)
We report on work in progress in building an environment for the validation of the meta-theory of programming languages artifacts… 
2017
2017
Property-Based Testing with External Test-Case Generators
Previous work has demonstrated that property-based testing (PBT) is a flexible random testing technique that facilitates the… 
2017
2017
Towards a theory of free-lunch privacy in cyber-physical systems
Emerging cyber-physical systems (CPS) often require collecting end users' data to support data-informed decision making processes… 
2017
2017
Model-Based Analysis of Temporal Properties
In our previous work, we introduced a framework for property-based testing applied on formal models with temporal properties. In… 
2017
2017
Quasi 2D Computation of Parallel Hole Collimator Point Spread Function With Septal Penetration
We propose a simple method for computing point response functions of parallel hole collimators. It only requires a 2D image of… 
2013
2013
Comparison a Performance of Data Mining Algorithms (CPDMA) in Prediction Of Diabetes Disease
Detection of knowledge patterns in clinicial data through data mining. Data mining algorithms can be trained from past examples… 
2007
2007
Strategies of a potential cash crop halophyte ( Beta vulgaris ssp . maritima ) to avoid salt injury
Salt stress effects were studied on Beta vulgaris ssp. maritima plants cultivated in defined nutrient solution in a gravel… 
2005
2005
Efficacy of Beam Thresholding, Unification Filtering and Hybrid Parsing in Probabilistic HPSG Parsing
We investigated the performance efficacy of beam search parsing and deep parsing techniques in probabilistic HPSG parsing using… 
Review
1977
Review
1977
Crime deterrent transponder system
A review of some of the underlying reasons for crime is presented, together with a perspective-setting view of the present status… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)