 | 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 |