Virginia Papailiopoulou

According to our database, Virginia Papailiopoulou authored at least 6 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs.

Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Automatic Testing of LUSTRE/SCADE Programs.

Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Automatic testing of Lustre/SCADE programs. (Test automatique de programmes Lustre/SCADE).

Virginia Papailiopoulou

PhD thesis, 2010

Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller.

Laya Madani, Virginia Papailiopoulou, Ioannis Parissis

Proceedings of the Third International Conference on Software Testing, 2010

2008

Automatic Test Generation for LUSTRE/SCADE Programs.

Virginia Papailiopoulou

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators.

Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis

Proceedings of the Formal Methods for Industrial Critical Systems, 2008