Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. - Virginia Papailiopoulou; Laya Madani; Lydie du Bousquet; Ioannis Parissis (FMICS, 2008)

Automatic Test Generation for LUSTRE/SCADE Programs. - Virginia Papailiopoulou (ASE, 2008)

Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller. - Laya Madani; Virginia Papailiopoulou; Ioannis Parissis (ICST, 2010)

Automatic testing of Lustre/SCADE programs. (Test automatique de programmes Lustre/SCADE). - Virginia Papailiopoulou (2010)

Automatic Testing of LUSTRE/SCADE Programs. - Virginia Papailiopoulou; Besnik Seljimi; Ioannis Parissis (Model-Based Testing for Embedded Systems, 2011)

Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. - Virginia Papailiopoulou; Ajitha Rajan; Ioannis Parissis (FMICS, 2011)