| 2007 |
|---|
| 13 | EE | Besnik Seljimi,
Ioannis Parissis:
Automatic generation of test data generators for synchronous programs: Lutess V2.
DOSTA 2007: 8-12 |
| 12 | EE | 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 | EE | 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 | EE | Abdesselam Lakehal,
Ioannis Parissis:
Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs.
ISSRE 2005: 301-310 |
| 8 | EE | 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 | EE | Ioannis Parissis,
Jérôme Vassy:
Thoroughness of Specification-Based Testing of Synchronous Programs.
ISSRE 2003: 191-202 |
| 2002 |
|---|
| 5 | EE | Ioannis Parissis:
Test de spécifications de logiciels synchrones.
Technique et Science Informatiques 21(9): 1243-1264 (2002) |
| 2001 |
|---|
| 4 | EE | 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 | EE | 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 |
