Publications de Ioannis Parissis

Load the BibTeX file

Thèses et habilitations à diriger les recherches

1. Ioannis Parissis. Méthodes et outils pour le test des logiciels. Habilitation à diriger des recherches de l'Université Joseph Fourier, Grenoble, France, Décembre 2007.
2. Ioannis Parissis. Test de logiciels synchrones spécifiés en Lustre. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 1996.

Articles de journaux

1. Ioannis Parissis, Laya Madani. Automatically testing interactive applications using extended task trees. Journal of Logic and Algebraic Programming, 78(6):454-471, Juillet 2009. download
2. Abdesselam Lakehal, Ioannis Parissis. Structural coverage criteria for LUSTRE/SCADE programs. Software Testing, Verification and Reliablity, 2008.
3. I. Parissis. Test de spécifications de logiciels synchrones. Technique et Science Informatiques, 21(9):1243-1264, 2002.

Conférences internationales

1. Y. Grasland, L du Bousquet, R. Groz, I. Parissis. A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. In Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 104-113, Luxembourg, Avril 2013.
2. Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis. Home Automation Systems Testing : A Coverage Measure for Hybrid Automata. In Proceedings of the 23rd IFIP Int. Conference on Testing Software and Systems, ICTSS'2011, Burkhart Wolff, Fatiha Zaidi (eds.), Pages 5-12, Paris, France, Novembre 2011.
3. Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis. Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. In Workshop on Formal Methods for Industrial Critical Systems (FMICS), Pages 85-101, Trento, Italie, Août 2011. download
4. Laya Madani, Ioannis Parissis. Automatically testing interactive multimodal systems using task trees and fusion models. In Proceeding of the 6th international workshop on Automation of Software Test (AST'11), Pages 43-49, États-Unis, Mai 2011. download
5. Ioannis Parissis, Laya Madani, Virginia Papailiopoulou. Towards a testing methodology for reactive systems: a case study of a landing gear controller. In Proceedings of the 3th International Conference on Software Testing and Verification (ICST 2010), Pages 489-497, Paris, France, 2010. download
6. Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Revisiting the Steam-Boiler Case Study with Lutess : Modeling for Automatic Test Generation. In 12th European Workshop on Dependable Computing, Toulouse, France, 2009.
7. Besnik Seljimi, Ioannis Parissis. Automatic generation of test data generators for synchronous programs: Lutess V2. In DOSTA '07: Workshop on Domain specific approaches to software test automation, Pages 8-12, Dubrovnik, Croatia, Septembre 2007.
8. A. Bertolino, E. Marchetti, I. Parissis. Perspectives on Data Flow-based Validation of Web Services Compositions. In 3rd Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA), Boston, USA, Juillet 2007.
9. A. Lakehal, I. Parissis. Automated Measure of Structural Coverage for Lustre/Scade Programs: a Case Study. In Workshop on Automated Software Testing (AST 2007) - satellite event of ICSE 2007, Minnesota, USA, Mai 2007.
10. J. Bouchet, L. Madani, L. Nigay, C. Oriat, I. Parissis. Formal Testing of Multimodal Interactive Systems. In Engineering Interactive Systems (EIS'07), Salamanca, Spain, Mars 2007.
11. Besnik Seljimi, Ioannis Parissis. Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. In 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, USA, Novembre 2006.
12. B. Blanc, G. Durrieu, A. Lakehal, O. Laurent, B. Marre, I. Parissis, C. Seguin, V. Wiels. Automated functional test case generation from data flow specifications using structural coverage criteria. In 3rd European Congress on Embedded Real Time Software (ERTS2006), Toulouse, France, Janvier 2006.
13. A. Lakehal, I. Parissis. Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. In 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, USA, Novembre 2005.
14. L. Madani, C. Oriat, I. Parissis, J. Bouchet, L. Nigay. Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. In 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, USA, Novembre 2005.
15. A. Lakehal, I. Parissis. Structural Test Coverage Criteria for Lustre Programs. In 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Pages 35-43, Lisboa, Portugal, Septembre 2005.
16. I. Parissis, J. Vassy. Thoroughness of Specification-Based Testing of Synchronous Programs. In 14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003), Pages 191-202, Denver, Colorado, Novembre 2003.
17. I. Parissis, J. Vassy. Strategies for Automated Specification-based Testing of Synchronous Software. In 16th IEEE International Conference on Automated Software Engineering, Pages 364-367, San Diego, USA, Novembre 2001.
18. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Specification-based Testing of Synchronous Software. In 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'2000), S. Gnesi, I. Schieferdecker, A. Rennoch (eds.), Pages 123-139, Berlin, Avril 2000.
19. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess : a testing environment for synchronous software. In Tool support for System Specification, Development, and Verification, Advances in Computing Science (TOOLS'98), Pages 48-61, Malente, Germany, 1998.
20. I. Parissis. A Formal Approach to Testing LUSTRE Specifications. In Proceedings of the 1st International IEEE Conference on Formal Engineering Methods, Hiroshima, Japan, 1997.
21. I. Parissis. A Tool For Testing Synchronous Critical Software. In Proceedings of the 3rd International Conference on Achieving Quality in Software, Florence, Italy, 1996.
22. I. Parissis, F. Ouabdesselam. Specification-based Testing of Synchronous Software. In Proceedings of the ACM Sigsoft96' 4th Symposium on the Foundations of Software Engineering, San Francisco, Octobre 1996.
23. F. Ouabdesselam, I. Parissis. Testing Techniques for Data-Flow Synchronous Programs. In 2nd International Workshop on Automated and Algorithmic Debugging, Saint Malo, France, 1995.
24. F. Ouabdesselam, I. Parissis. Constructing Operational Profiles for Synchronous Critical Software. In 6th International Symposium on Software Reliability Engineering, Toulouse, France, 1995.

Communications avec actes

1. Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis. Évaluation de la qualité de jeux de tests hybrides en domotique. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 104-119, Grenoble, Janvier 2012.
2. Laya Madani, Ahmed M'hiri, Sophie Dupuy-Chessa, Ioannis Parissis. Vers la formalisation de propriétés ergonomiques de systèmes interactifs. In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Toulouse, France, Janvier 2009.
3. Laya Madani, Ioannis Parissis. Automated Test of Interactive Applications Using Task Trees. In 4th Workshop on Advances in Model-based Testing (A-MOST 2008), Pages 13-22, Lillehammer, Norway, 2008.
4. B. Seljimi, I. Parissis. Test de logiciels synchrones : apports de la programmation par contraintes. In AFADL'07 (Approches Formelles dans l'Assistance au Développement de Logiciels, 10ème anniversaire), Namur, Juin 2007.
5. L. Madani, I. Parissis. Vers la génération automatique de tests à partir d'arbres de tâches. In AFADL'07 (Approches Formelles dans l'Assistance au Développement de Logiciels, 10ème anniversaire), Namur, Juin 2007.
6. L. Madani, L. Nigay, I. Parissis. Testing the care properties of multimodal applications by means of a synchronous approach. In IASTED Int'l Conference on Software Engineering, Innsbruck, Austria, Février 2005.
7. A. Lakehal, F. Ouabdesselam, I. Parissis, J. Vassy. Models for Synchronous Software Testing. In MoDeVa Workshop (satellite event of ISSRE'04), Pages 41-50, Rennes, France, Novembre 2004.
8. A. Lakehal, I. Parissis, L. du Bousquet. Critères de couverture structurelle de programmes LUSTRE. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 185-199, LIFC, Besançon, Juin 2004.
9. K. C. Griche, I. Parissis. Automatic Control Flow Based Generation of Stubs for Structural Testing. In IASTED Int'l Conference on Software Engineering, Innsbruck, Autria, Février 2004.
10. I. Parissis, J. Vassy. Test des propriétés de sûreté. In Actes du colloque Modélisation de Systèmes Réactifs (MSR'01), Pages 563-578, 2001.
11. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess: a validation tool for synchronous software. In International Workshop Tool Support for System Specification, Development and Verification, Malente, Allemagne, 1998.
12. I. Parissis. Vers une approche mixte de validation de logiciels synchrones : test, preuve, animation. In Atelier Approches Formelles dans l'Assistance au Développement de Logiciels, Toulouse, France, Mai 1997.
13. I. Parissis, F. Ouabdesselam. Techniques de Test pour des Logiciels Réactifs Synchrones. In Modélisation des Systèmes Réactifs, AFCET, Brest, France, 1996.

Rapports de recherche

1. I. Parissis, N. Zuanon. Validation incrémentale de spécifications de services. Rapport de recherche Rapport d'avancement du contrat CNET/CNRS/UJF 95 7B 043, LSR-IMAG, Novembre 1996.

Autres communications

1. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, J. Vassy, N. Zuanon. Black-box testing of reactive synchronous software. SoftTest: UK Testing Research II, Septembre 2003.