Travelled to:
1 × Italy
1 × Japan
1 × South Korea
2 × USA
Collaborated with:
M.Papadakis Y.L.Traon G.Perrouin J.Klein M.Harman T.Ziadi M.Ziane
Talks about:
softwar (3) product (3) test (3) line (3) toward (2) object (2) multi (2) engin (2) combinatori (1) constraint (1)
Person: Christopher Henard
DBLP: Henard:Christopher
Contributed to:
Wrote 5 papers:
- ICSE-v1-2015-HenardPHT #configuration management #constraints #multi #product line #scalability #theorem proving
- Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines (CH, MP, MH, YLT), pp. 517–528.
- ICST-2014-PapadakisHT #analysis #combinator #interactive #mutation testing #testing
- Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing (MP, CH, YLT), pp. 1–10.
- SAC-2014-ZiadiHPZT #approach #independence #product line #towards
- Towards a language-independent approach for reverse-engineering of software product lines (TZ, CH, MP, MZ, YLT), pp. 1064–1071.
- ICSE-2013-HenardPPKT #automation #feature model #modelling #testing #towards
- Towards automated testing and fixing of re-engineered feature models (CH, MP, GP, JK, YLT), pp. 1245–1248.
- SPLC-2013-HenardPPKT #generative #multi #product line #testing
- Multi-objective test generation for software product lines (CH, MP, GP, JK, YLT), pp. 62–71.