Master thesis supervision
- Halin, A. and Nuttinck, A (2017). Sampling & Testing all configurations: The JHipster case study, University of Namur. Dataset: https://github.com/xdevroey/jhipster-dataset
- Loise, T. (2017). Towards Security-aware Mutation Testing, University of Namur. Source code: https://github.com/Iotho/pitest-sec
- Vanhecke, J. (2016). Concrétisation de tests abstraits avec AbsCon: un AddOn QTaste, University of Namur. Source code: https://github.com/modji-be/AbsCon/
- Patiny, M. (2015). Rétro-ingénierie de la variabilité au sein de lignes de produits logiciels web: une “systematic mapping study”, University of Namur.
- M. van Deursen, G.J. Habben Jansen, R. Keulemans, and M. Pigmans, Teaching Assistant Management Platform, Delft University of Technology (2017).
- M. Cauz, Promobot: a configurable Facebook message bot, University of Namur (2016).
- T. Staelens, Hacktivity: an activity reporting tool for teaching assistants, University of Namur (2015).
- P. Rousseau, YARLI: Yet Another Robot Language Interpreter, University of Namur (2014).
- G. Yernaux, Name-IT: an acronym generator, University of Namur (2014).
Language theory: syntax and semantics, University of Namur (2011 - 2017)
Definition and supervision of students projects, developed in small groups by third year students in day and evening lectures in computer science (30 hours). Each year, a small programming language (or domain specific language) is defined and students have to develop a compiler to translate this language to machine code using standard compiler development tools (Flex/Bison until 2015). Since 2015, the project has switched to Java, using ANTLR (and StringTemplate), Maven, and JUnit. During the project, students have to submit their code to an automated test evaluation tool that executes their compiler against a battery of tests (Jenkins since 2016).
Algorithmic part II, University of Namur (2015 - 2017)
Definition and supervision of the practical sessions on specification, formal proof, and implementation exercises for third year students in evening lecture in computer science (30 hours). Algorithms include memoization and dynamic programming, the greedy method, generate-and-test, heuristic methods, and abstract data types definitions.
Summer preparatory courses, University of Namur (2013 - 2017)
Introduction to programming and programming environment used during first year in computer science (8 hours).
Introduction to programming, University of Namur (2011 - 2015)
Definition and supervision of the practical sessions on basics of programming and specification for first year students in computer science and business engineering (45 hours).
Development laboratory, University of Namur (2011 - 2015)
Definition and supervision of students projects for first year students in computer science and business engineering (development done in small groups, 30 hours), and first year students in evening lecture in computer science (development done alone, 90 hours).