Dans un contexte où le développement logiciel évolue rapidement, souvent sous l’impulsion du monde industriel, il est essentiel pour les institutions d’enseignement supérieur de maintenir un lien étroit avec les pratiques professionnelles. Cette connexion permet d’adapter les programmes de formation aux réalités du terrain et de garantir la pertinence des compétences transmises aux étudiant·e·s.

Dans un contexte où le développement logiciel évolue rapidement, souvent sous l’impulsion du monde industriel, il est essentiel pour les institutions d’enseignement supérieur de maintenir un lien étroit avec les pratiques professionnelles. Cette connexion permet d’adapter les programmes de formation aux réalités du terrain et de garantir la pertinence des compétences transmises aux étudiant·e·s.

This week, two members of our team are attending the IEEE International Conference on Software Testing, Verification and Validation (ICST 2025) in Naples, Italy. On Monday, Balfroid Martin took the stage to share research conducted by Manon Galloy, a SNAILee who defended her master’s thesis in 2024. The focus of their presentation was on a novel technique known as SelfBehave, aimed at synthesizing user stories, which was featured during the A-MOST workshop.

It’s time for the January exams. Three years ago, my colleague Benoît Vanderose and I created a verification and validation course for the MSc in Software Engineering students. From the start, we both thought we needed a practical exam where students actually perform V&V tasks. So, for our exam, students have to analyze a codebase, read SonarQube reports, refactor code, correct bugs, and write tests. This was quite unusual for them (most courses are evaluated using projects or paper exams), and the students’ reaction three years ago was, let’s say, interesting.