Functional Testing in the Focal Environment. - Matthieu Carlier; Catherine Dubois (TAP, 2008)

Constraint Reasoning in FocalTest. - Matthieu Carlier; Catherine Dubois; Arnaud Gotlieb (ICSOFT (2), 2010)

FocalTest: A Constraint Programming Approach for Property-Based Testing. - Matthieu Carlier; Catherine Dubois; Arnaud Gotlieb (ICSOFT (Selected Papers), 2010)

Filtering by ULP Maximum. - Matthieu Carlier; Arnaud Gotlieb (ICTAI, 2011)

A Certified Constraint Solver over Finite Domains. - Matthieu Carlier; Catherine Dubois; Arnaud Gotlieb (FM, 2012)

A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. - Matthieu Carlier; Catherine Dubois; Arnaud Gotlieb (TAP@TOOLS, 2012)

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. - Roberto Bagnara; Matthieu Carlier; Roberta Gori; Arnaud Gotlieb (ICST, 2013)

Filtering Floating-Point Constraints by Maximum ULP. - Roberto Bagnara; Matthieu Carlier; Roberta Gori; Arnaud Gotlieb (CoRR, 2013)

Exploiting Binary Floating-Point Representations for Constraint Propagation. - Roberto Bagnara; Matthieu Carlier; Roberta Gori; Arnaud Gotlieb (INFORMS J. Comput., 2016)