Vous pouvez vous abonner à nos annonces de séminaires:
                     http://cambium.inria.fr/seminar.html

             Nos séminaires sont accessibles en ligne en direct:
                  https://webconf.math.cnrs.fr/b/fra-ryy-fjn

			     S É M I N A I R E

                   ______                __    _
                  / ____/___ _____ ___  / /_  (_)_  ______ ___
                 / /   / __ `/ __ `__ \/ __ \/ / / / / __ `__ \
                / /___/ /_/ / / / / / / /_/ / / /_/ / / / / / /
                \____/\__,_/_/ /_/ /_/_.___/_/\__,_/_/ /_/ /_/

			     I N R I A - Paris
                 2 rue Simone Iff (ou: 41 rue du Charolais)
                          Salle Lions 1, bâtiment C

                             Lundi 28 juin, 14h30

                               ----------------
                               François Pottier
                               ----------------

                                 Inria Paris

                 ===========================================
                 Strong automated testing of OCaml libraries
                 ===========================================

[L'exposé est déplacé au **lundi 28 juin à 14h30**
-- désolé pour les messages répétés.]

In this talk, I will present Monolith, a programmable tool that helps apply
random testing or fuzz testing to an OCaml library. Monolith provides a rich
specification language, which allows the user to describe her library's API,
and an engine, which generates clients of this API and executes them. This
reduces the problem of testing a library to the problem of testing a complete
program, one that is effectively addressed by off-the-shelf fuzzers such as
AFL.

The seminar will be held physically (salle Lions 1, Inria Paris) and will be
simultaneously accessible online at https://webconf.math.cnrs.fr/b/fra-ryy-fjn