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: Delahaye:Micka=euml=l
Contributed to:
2015
2014
20132010Wrote 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.
- ICST-2010-DelahayeBG
- Explanation-Based Generalization of Infeasible Path (MD, BB, AG), pp. 215–224.