Virginia Papailiopoulou

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. FMICS (2011)
Laya Madani, Virginia Papailiopoulou, Ioannis Parissis
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller. ICST (2010)
Virginia Papailiopoulou
Automatic Test Generation for LUSTRE/SCADE Programs. ASE (2008)
Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. FMICS (2008)