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

Displayed time zone: Belfast change

16:50 - 17:40
Talk session 5OCaml at L3
17:00
20m
Talk
Component-based Program Synthesis in OCaml
OCaml
Zhanpeng Liang University of Southern California, Kanae Tsushima
Link to publication
17:20
20m
Talk
Testing with Crowbar
OCaml