Publications of Virginia Papailiopoulou

Load the BibTeX file

International Conferences

1. Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis. Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. In Workshop on Formal Methods for Industrial Critical Systems (FMICS), Pages 85-101, Trento, Italie, August 2011. download
2. Ioannis Parissis, Laya Madani, Virginia Papailiopoulou. Towards a testing methodology for reactive systems: a case study of a landing gear controller. In Proceedings of the 3th International Conference on Software Testing and Verification (ICST 2010), Pages 489-497, Paris, France, 2010. download
3. Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Revisiting the Steam-Boiler Case Study with Lutess : Modeling for Automatic Test Generation. In 12th European Workshop on Dependable Computing, Toulouse, France, 2009.
4. Virginia Papailiopoulou. Automatic Test Generation for LUSTRE/SCADE Programs. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008) - Doctoral Symposium, 15-19 September 2008, L'Aquila, Italy, Pages 517-520, 2008.

National conferences or workshops

1. V. Papailiopoulou, L. Madani, L. du Bousquet, I. Parissis. Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), L'Aquila, Italy, 2008.

Thesis and habilitations

1. Virginia Papailiopoulou. Test automatique de programmes Lustre/SCADE. PhD Thesis Université Joseph Fourier, Grenoble, France, February 2010. download