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 × Austria
1 × France
1 × Portugal
1 × United Kingdom
Collaborated with:
N.Kosmatov S.Bardin J.Signoles B.Botella A.Gotlieb O.Chebaro R.David M.Papadakis Y.L.Traon J.Marion
Talks about:
infeas (2) test (2) toolkit (1) program (1) languag (1) general (1) complet (1) analysi (1) static (1) specif (1)

Person: Mickaël Delahaye

DBLP DBLP: Delahaye:Micka=euml=l

Contributed to:

ICST 20152015
TAP 20142014
SAC 20132013
ICST 20102010

Wrote 4 papers:

ICST-2015-BardinDDKPTM #detection #requirements
Sound and Quasi-Complete Detection of Infeasible Test Requirements (SB, MD, RD, NK, MP, YLT, JYM), pp. 1–10.
TAP-2014-BardinCDK #automation #testing #tool support
An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.
SAC-2013-DelahayeKS #c #dynamic analysis #source code #specification
Common specification language for static and dynamic analysis of C programs (MD, NK, JS), pp. 1230–1235.
Explanation-Based Generalization of Infeasible Path (MD, BB, AG), pp. 215–224.

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.