Olifante *'s Library tagged quickcheck → View Popular

Filter:
All
Annotated

10 Dec 08

WriterT ::: QuickCheck(ing) the code i C

"Next time I'm faced with writing C code for a web based system, I'll start equally early on the Haskell program that will be testing it."

writert.blogspot.com/...quickchecking-code-i-c.html - Preview

quickcheck c programming haskell testing

the haskell program was running controlled randomized test cases against a server! And voila, I was swatting bugs in my C code with minimal effort.

07 Aug 07

Parsec Parser Testing with QuickCheck

"The approach [...] is to have QuickCheck randomly generate an instance of the Abstract Syntax Tree I’ve developed. I’ll develop a pretty printer that can convert this to a String. Parsing the String should then result in the originally generated AST.

lstephen.wordpress.com/...parser-testing-with-quickcheck - Preview

parsec parser testing QuickCheck smalltalk haskell programming