Property-Based Testing for OCaml through Coq (OCaml 2021)

Sun 22 - Sat 28 August 2021

Who

Paaras Bhandari, Leonidas Lampropoulos

Track

OCaml 2021

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sat 28 Aug 2021 02:00 - 02:20 at OCaml - Session 5 Chair(s): Ashish Agarwal

Abstract

We will present a property-based testing framework for OCaml that leverages the power of QuickChick, a popular and mature testing plugin for the Coq proof assistant, by automatically constructing a extraction-based shim between OCaml and Coq. That gives OCaml programmers access to the advanced automation and fuzzing facilities that QuickChick provides.

Paaras Bhandari

University of Maryland, College Park

United States

Leonidas Lampropoulos