About me

Before moving to industry in June 2016, I was a postdoctoral researcher at the Interdisciplinary Centre for Security, Reliability and Trust (SnT), a laboratory within the University of Luxembourg. My research activities focused on software engineering, and include software testing, search-based software engineering, optimization and software product lines.

I am from Nancy in France. I obtained my engineer's degree in computer science in 2011 from the former Ecole Supérieure d'Informatique et Applications de Lorraine (ESIAL, now known as TELECOM Nancy), a leading engineering school at the University of Lorraine. I got my PhD degree in 2015 from the University of Luxembourg.

Research Publications & Reports

PhD (2015)

  • Christopher Henard - Enabling Testing of Large Scale Highly Configurable Systems with Search-based Software Engineering: the Case of Model-based Software Product Lines - University of Luxembourg, Luxembourg.

2017

  • Thomas Laurent, Mike Papadakis, Marinos Kintis, Christopher Henard, Yves Le Traon, and Anthony Ventresque - Assessing and Improving the Mutation Testing Practice of PIT - 10th International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo, Japan.    

2016

  • Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, and Yves Le Traon - Threats to the Validity of Mutation-Based Test Assessment - International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany.
  • Henry Coles, Thomas Laurent, Christopher Henard, Mike Papadakis, and Anthony Ventresque - PIT a Practical Mutation Testing Tool for Java (Demo) - International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany.    
  • Christopher Henard, Mike Papadakis, Mark Harman, Yue Jia, and Yves Le Traon - Comparing White-box and Black-box Test Prioritization - 38th International Conference on Software Engineering (ICSE 2016), Austin, TX, USA.    
  • Thomas Laurent, Anthony Ventresque, Mike Papadakis, Christopher Henard, Yves Le Traon - Assessing and Improving the Mutation Testing Practice of PIT - Technical report, arXiv.

2015

  • Christopher Henard, Mike Papadakis, Mark Harman, and Yves Le Traon - Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines - 37th International Conference on Software Engineering (ICSE 2015), Firenze, Italy.    
  • Antonia Bertolino, Said Daoudagh, Donia El Kateb, Christopher Henard, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi and Mike Papadakis - Similarity Testing for Access Control - Information and Software Technology (IST).
  • Christopher Henard, Mike Papadakis, and Yves Le Traon - Flattening or Not of the Combinatorial Interaction Testing Models? - 4th International Workshop on Combinatorial Testing (IWCT 2015), Graz, Austria.    

2014

  • Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans and Yves Le Traon - Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Configurations for Software Product Lines - IEEE Transactions on Software Engineering (TSE).    
  • Christopher Henard, Mike Papadakis, and Yves Le Traon - Mutation-based Generation of Software Product Line Test Configurations - 6th International Symposium on Search-Based Software Engineering (SSBSE 2014), Fortaleza, Brazil.    
  • Christopher Henard, Mike Papadakis, and Yves Le Traon - MutaLog: a Tool for Mutating Logic Formulas - Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2014), Cleveland, OH, USA.    
  • Mike Papadakis, Christopher Henard, and Yves Le Traon - Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing - 7th International Conference on Software Testing, Verification and Validation (ICST 2014), Cleveland, OH, USA.
  • Tewfik Ziadi, Christopher Henard, Mike Papadakis, Mikal Ziane, and Yves Le Traon - Towards a Language-Independent Approach for Reverse-Engineering of Software Product Lines - 29th Symposium on Applied Computing (SAC 2014), Gyeongju, Korea.    

2013

  • Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, and Yves Le Traon - Multi-objective Test Generation for Software Product Lines - 17th International Software Product Line Conference (SPLC 2013), Tokyo, Japan.    
  • Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, and Yves Le Traon - PLEDGE: A Product Line Editor and Test Generation Tool - Demonstrations and Tools, 17th International Software Product Line Conference Workshops (SPLCW 2013), Tokyo, Japan.    
  • Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, and Yves Le Traon - Towards Automated Testing and Fixing of Re-engineered Feature Models - New Ideas and Emerging Results, 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA.
  • Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, and Yves Le Traon - Assessing Software Product Line Testing via Model-based Mutation: An Application to Similarity Testing - 9th Workshop on Advances in Model Based Testing (A-MOST 2013), Luxembourg, Luxembourg.

2012

  • Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans, and Yves Le Traon - Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines - Technical report, arXiv.    

2011

  • Thibault Cholez, Christopher Henard, Isabelle Chrisment, Olivier Festor, Guillaume Doyen, and Rida Khatoun - A First Approach to Detect Suspicious Peers in the KAD P2P Network - 6th Conference on Network and Information Systems Security (SAR-SSI 2011), La Rochelle, France.

Disclaimer:

This page contains personal archived (pre-print versions) articles published by IEEE, ACM, Elsevier, Springer, Wiley and other publishers. Copyright and all rights therein are retained by authors or by other copyright holders. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the copyright holder.