Henri Cossais
I am a PhD student in Software Engineering at Nantes University. My research focuses on the automation of combinatorial testing through Model-Driven Engineering, with the goal of improving the efficiency and reliability of software testing processes.
Instituations & Volunteering
-
Nantes University -
LS2N -
LabSciren
Publications
Here you will find my publications and research contributions.
SEAA 2026 - Constraint-based Test Data Generation for Combinatorial Testing
Testcrafter
LNS-TestCrafter is a Java-based tool designed to automate the generation of executable unit test scripts from abstract combinatorial choices. It produces JUnit code based on input models created with PICT.
French Robotics Cup 2026
I participated in the Coupe de France de Robotique, the French national robotics competition (wich is a qualifyer contest for Eurobot). This experience allowed me to work on the design and development of an autonomous robot within a student team.
Experience
PhD Student
I am currently a PhD student working on generative approaches to automate combinatorial testing in software systems. My research focuses on the automatic generation of test suites, test data, oracles, and test harnesses using model-driven engineering techniques.
Lab. Internship
I contributed to the ANR RODIC project, which aimed at developing a simulator for reconfigurable manufacturing systems (RMS). My work focused on addressing memory consumption issues in order to enable the simulation of larger and more complex systems.
Keywords: Executable Domain-Specific Languages (xDSL), Optimization, GEMOC Studio
Lab. Internship
I worked on formal communication abstractions in Byzantine fault-tolerant contexts. I also contributed as a volunteer student at PODC 2024.
Teaching
Nantes University
Teaching experience: laboratory sessions and tutorials for undergraduate and master’s courses in Introduction to Software Developpement, Software Construction and Evolution and DevOps.
Blog
Sharing some knoledge, opinion and fun facts here. Enjoy !