BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Carlier:Matthieu

Contributed to:

ICST 20132013
FM 20122012
TAP 20122012
TAP 20082008

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.