Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Fri 8 Sep 2017 17:20 - 17:40 at L3 - Talk session 5

Crowbar is a new testing library for OCaml, combining QuickCheck-style property-based testing and directed fuzzing. Unlike other QuickCheck-style systems, Crowbar does not generate test cases purely at random: instead, the fuzzer afl-fuzz uses instrumentation automatically inserted into the program under test to provide feedback on the code paths triggered by a test case, in order to generate test cases exploring as much of the program’s behaviour as possible. Crowbar has found bugs in most of the software that has been tested with it.

Fri 8 Sep

16:50 - 17:40: OCaml 2017 - Talk session 5 at L3
ocaml-2017-talks150488280000017:00 - 17:20
Zhanpeng LiangUniversity of Southern California, Kanae Tsushima
Link to publication
ocaml-2017-talks150488400000017:20 - 17:40