`Travelled to:`

1 × Czech Republic

1 × France

1 × Italy

1 × Luxembourg

`Collaborated with:`

C.Dubois A.Gotlieb R.Bagnara R.Gori

`Talks about:`

test (4) constraint (2) focal (2) function (1) program (1) generat (1) environ (1) certifi (1) verifi (1) symbol (1)

## Person: Matthieu Carlier

### DBLP: Carlier:Matthieu

### Contributed to:

### Wrote 4 papers:

- ICST-2013-BagnaraCGG #float #generative #source code #testing
- Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
- FM-2012-CarlierDG #constraints #finite #theorem proving
- A Certified Constraint Solver over Finite Domains (MC, CD, AG), pp. 116–131.
- TAP-2012-CarlierDG #constraints #design #testing
- A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest (MC, CD, AG), pp. 35–50.
- TAP-2008-CarlierD #functional #testing
- Functional Testing in the Focal Environment (MC, CD), pp. 84–98.