Add to ORKGNational audienceWe 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
We present a compiler for a concurrent programming language, which utilizes linear typing to create ...
Software bugs affect the security, performance, and reliability of critical systems that much of our...
International audienceRuntime assertion checking (RAC) is a convenient set of techniques that lets d...
National audienceWe present Monolith, a programmable tool that helps apply random testing or fuzz te...
International audienceWhen testing a library, developers typically first have to capture the semanti...
International audienceThis is the year 2008 and ML-style exceptions are everywhere. Most modern lang...
Complex software libraries, especially those that store internal states, can be difficult to test. F...
International audienceCryptic type error messages are a major obstacle to learning OCaml or other ML...
ML Family Workshop 2017▼AbstractLibraries are the basic building blocks of any realistic programming...
ABSTRACT Scaffolded projects with automated feedback are core instructional components of many massi...
International audienceMLExplain is a step-by-step interpreter for OCaml that enables the user to ins...
The utility of a test set of program inputs is strongly influenced by its diversity and its size. Sy...
International audienceML modules are offer large-scale notions of composition and modularity. Provid...
This paper presents a methodology to get correct-by-construction OCaml programs using the Why3 tool....
Supplement for manuscript "Nmag micromagnetic simulation tool -- software engineering lessons l...
We present a compiler for a concurrent programming language, which utilizes linear typing to create ...
Software bugs affect the security, performance, and reliability of critical systems that much of our...
International audienceRuntime assertion checking (RAC) is a convenient set of techniques that lets d...
National audienceWe present Monolith, a programmable tool that helps apply random testing or fuzz te...
International audienceWhen testing a library, developers typically first have to capture the semanti...
International audienceThis is the year 2008 and ML-style exceptions are everywhere. Most modern lang...
Complex software libraries, especially those that store internal states, can be difficult to test. F...
International audienceCryptic type error messages are a major obstacle to learning OCaml or other ML...
ML Family Workshop 2017▼AbstractLibraries are the basic building blocks of any realistic programming...
ABSTRACT Scaffolded projects with automated feedback are core instructional components of many massi...
International audienceMLExplain is a step-by-step interpreter for OCaml that enables the user to ins...
The utility of a test set of program inputs is strongly influenced by its diversity and its size. Sy...
International audienceML modules are offer large-scale notions of composition and modularity. Provid...
This paper presents a methodology to get correct-by-construction OCaml programs using the Why3 tool....
Supplement for manuscript "Nmag micromagnetic simulation tool -- software engineering lessons l...
We present a compiler for a concurrent programming language, which utilizes linear typing to create ...
Software bugs affect the security, performance, and reliability of critical systems that much of our...
International audienceRuntime assertion checking (RAC) is a convenient set of techniques that lets d...