Section: Bilateral Contracts and Grants with Industry
Participants : Hamza Sahmi, Benoit Baudry.
Model-based testing, Software product lines
In this project with the All4Tec company we investigate the support of variability modelling for model-based test generation with Matelo (a tool developed by All4Tec).
In this context, Benoit Baudry acts as Ph.D advisor for Hamza Samih.