I am a research engineer in the Fermat laboratory of the R&D department of the HUAWEI Technologies (Grenoble, France) where I work on model-based verification and validation techniques. I received my Ph.D. in Software engineering from IMT Atlantique (Nantes, France) in 2022 for my thesis titled “A Testing Framework for Executable Domain-Specific Languages”. I was a Marie-Curie Early Stage Researcher (ESR10) at the Lowcomote European project, and for my research activity, I was a member of the NaoMod group in the Laboratory of digital sciences of Nantes (LS2N).