This paper describes two Haskell libraries for property-based testing. Following the lead of QuickCheck, these testing libraries SmallCheck and Lazy SmallCheck ...
This paper describes two Haskell libraries for property-based testing. Following the lead of QuickCheck, these testing libraries SmallCheck and Lazy ...
Lazy SmallCheck leverages Haskell's laziness to greatly improve upon out-of-the-box QuickCheck and SmallCheck generators in the presence of sparse preconditions ...
Example 3 will be used throughout the next three sections to illustrate further points about Lazy SmallCheck. 4.2 Laziness is Delicate. The set invariant in the ...
This paper describes two Haskell libraries for property-based testing. Following the lead of QuickCheck, these testing libraries SmallCheck and Lazy ...
Duration: 31:34
Posted: Sep 9, 2012
Posted: Sep 9, 2012
SmallCheck and Lazy SmallCheck automatic exhaustive testing for small values ; Number of pages, 12 ; Journal, SIGPLAN notices ; Volume, 44 ; Issue number, 2.
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. Acm Sigplan Notices. * Reich, J. S., Naylor, M., & Runciman, C. (2012) ...
Oct 22, 2024 · Download Citation | Smallcheck and lazy smallcheck | This paper describes two Haskell libraries for property-based testing.
In principle, Lazy SmallCheck might run more test cases than SmallCheck for the same condition — since it tests partial values as well as total ones. But in ...