CASTING: A Formally Based Software Test Generation Method. - Lionel Van Aertryck; Marc V. Benveniste; Daniel Le Métayer (ICFEM, 1997)

A Domain-specific Modeling Framework for Attack Surface Modeling. - Tithnara Nicolas Sun; Bastien Drouot; Fahad Rafique Golra; Joël Champeau; Sylvain Guérin; Luka Le Roux; Raúl Mazo; Ciprian Teodorov; Lionel Van Aertryck; Bernard L'Hostis (ICISSP, 2020)