QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs (2000) [pdf]

Re:QuickCheck: A Lightweight Tool for Random Testing of Hask... by mrswag on Sunday December 25, 2016 @06:17AM (#13253737)

Does a coverage-guided QuickCheck exists, à la AFL? AFL is really good at finding deeper code path that the randomness only approach might not find.

[ Parent | on HN ]

Re:QuickCheck: A Lightweight Tool for Random Testing of Hask... by dekimir on Sunday December 25, 2016 @11:36AM (#13254591)

I looked into this while making RamFuzz[1], but parameter generation (QuickCheck) is quite different from input-blob evolution (AFL). It wasn't clear to me how best to leverage a parameter mutation that happens to increase coverage. Ultimately, I decided that random generation (without guidance by coverage) coupled with AI classification of test outcomes is the most interesting approach.

[1] https://github.com/dekimir/RamFuzz

[ Parent | on HN ]