Virginia Papailiopoulou

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

2 Virginia Papailiopoulou: Automatic Test Generation for LUSTRE/SCADE Programs. ASE 2008: 517-520

1 Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis: Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. FMICS 2008: 23-36

	2008
2		Virginia Papailiopoulou: Automatic Test Generation for LUSTRE/SCADE Programs. ASE 2008: 517-520
1		Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis: Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. FMICS 2008: 23-36

Coauthor Index

1 Lydie du Bousquet [1]

2 Laya Madani [1]

3 Ioannis Parissis [1]