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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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