Ioannis Parissis

	2009
16		Laya Madani, Ioannis Parissis: Automatically testing interactive applications using extended task trees. J. Log. Algebr. Program. 78(6): 454-471 (2009)
15		Abdesselam Lakehal, Ioannis Parissis: Structural coverage criteria for LUSTRE/SCADE programs. Softw. Test., Verif. Reliab. 19(2): 133-154 (2009)
	2008
14		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
	2007
13		Besnik Seljimi, Ioannis Parissis: Automatic generation of test data generators for synchronous programs: Lutess V2. DOSTA 2007: 8-12
12		Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis: Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. WADS 2007: 298-325
	2006
11		Besnik Seljimi, Ioannis Parissis: Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. ISSRE 2006: 105-116
	2005
10		Laya Madani, Laurence Nigay, Ioannis Parissis: Testing the CARE Properties of Multimodal Applications by Means of a Synchronous Approach. IASTED Conf. on Software Engineering 2005: 181-186
9		Abdesselam Lakehal, Ioannis Parissis: Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. ISSRE 2005: 301-310
8		Laya Madani, Catherine Oriat, Ioannis Parissis, Jullien Bouchet, Laurence Nigay: Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. ISSRE 2005: 325-334
	2004
7		Karim-Cyril Griche, Ioannis Parissis: Automatic control flow based generation of stubs for structural testing. IASTED Conf. on Software Engineering 2004: 339-344
	2003
6		Ioannis Parissis, Jérôme Vassy: Thoroughness of Specification-Based Testing of Synchronous Programs. ISSRE 2003: 191-202
	2002
5		Ioannis Parissis: Test de spécifications de logiciels synchrones. Technique et Science Informatiques 21(9): 1243-1264 (2002)
	2001
4		Ioannis Parissis, Jérôme Vassy: Strategies for Automated Specification-Based Testing of Synchronous Software. ASE 2001: 364-367
	1997
3		Ioannis Parissis: A Formal Approach to Testing LUSTRE Specifications. ICFEM 1997: 91-100
	1996
2		Ioannis Parissis, Farid Ouabdesselam: Specification-based Testing of Synchronous Software. SIGSOFT FSE 1996: 127-134
	1995
1		Farid Ouabdesselam, Ioannis Parissis: Testing Techniques for Data-Flow Synchronous Programs. AADEBUG 1995: 249-260

Coauthor Index

1	Cesare Bartolini	[12]
2	Antonia Bertolino	[12]
3	Jullien Bouchet	[8]
4	Lydie du Bousquet	[14]
5	Karim-Cyril Griche	[7]
6	Abdesselam Lakehal	[9] [15]
7	Laya Madani	[8] [10] [14] [16]
8	Eda Marchetti	[12]
9	Laurence Nigay	[8] [10]
10	Catherine Oriat	[8]
11	Farid Ouabdesselam	[1] [2]
12	Virginia Papailiopoulou	[14]
13	Besnik Seljimi	[11] [13]
14	Jérôme Vassy	[4] [6]

Colors in the list of coauthors