Autres communications

2014

1. German Eduardo Vega Baez, Taha Triki, Yves Ledru, Lydie du Bousquet. Trace-based test suite reduction (poster). Actes des Sixièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 209-209, CNAM, Paris, France, 2014.

2013

1. Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Lydie du Bousquet, Taha Triki, German Eduardo Vega Baez, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard. TASCCC - Project and Testing Tool (poster). Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 198-198, Nancy, France, 2013.
2. Akram Idani, Yves Ledru, Mohamed-Amine Labiadh. B4MSecure : A MDE platform for modeling and validation of Secure Information Systems (poster). Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 211-211, Nancy, France, 2013.
3. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. KameleonFuzz : The day Darwin drove my XSS Fuzzer!. talk given at the 1st European workshop on Web Application Security Research (WASR), with OWASP AppSecEU, Hamburg, Germany, Août 2013.
4. Karim Hossen. SIMPA: Model Based Testing Without the pain of Writing Models. talk given at the 1st European workshop on Web Application Security Research (WASR), with OWASP AppSecEU, Hambourg, Germany, Août 2013.
5. Fabien Duchene. BlackBox Web Vulnerability Detection with Model Inference assisted Evolutionary Fuzzing. 2nd SysSec Workshop, Poster presented at SysSec Workshop, Bochum, Germany, Juillet 2013.
6. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. A Hesitation Step into the BlackBox: Heuristic-Based Web Applications Reverse Engineering. NoSuchCon (NSC), Paris, France, Mai 2013.
7. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. Evolutionary Fuzz Testing Techniques - Advances and Applications (tutorial). the sixth IEEE International Conference on Software Testing, Verification, and Validation (ICST), Luxembourg, Mars 2013.

2012

1. Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie du Bousquet, Taha Triki, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard. TASCCC - Project and Testing Tool (poster and demo). Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 241-241, Rennes, France, 2012.
2. Lydie du Bousquet, Yves Ledru, Taha Triki, German Eduardo Vega Baez. Tobias on-line tool for combinatorial software testing (poster and demo). Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 217-217, Rennes, France, 2012.
3. Yves Ledru, German Vega, Taha Triki, Lydie du Bousquet. Test Suite Selection Based on Traceability Annotations - tool demonstration. Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), pp. 342-345, Essen, Germany, Septembre 2012.
4. Laurence Duchien, Yves Ledru. Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL. Chronique publiée dans Technique et Science Informatiques (TSI), volume 13, No 3, pp. 397-413, Mars 2012.

2011

1. Lydie du Bousquet, Yves Ledru, Taha Triki. Tobias a tool for combinatorial software testing (poster). Fourth International Conference on Software Testing, Verification and Validation (ICST 2011), Berlin, Allemagne, 2011.

2009

1. Akram Idani, Yves Ledru, Pierre-Yves Schobbens. Approche formelle pour une Ingénierie des Modèles sûre. Atelier LMO/SafeModel, Nancy, 2009. download

2005

1. Y. Ledru. Conformance Test Generation with JML. TAROT Summer School, Paris, 2005.
2. N. Stouls, V. Darmaillacq. Formalisation et implantation de politiques de sécurité de réseaux. Majecstic 2005, Rennes, Novembre 2005.

2004

1. D. Bert. Translating CASL Specifications into First Order Logic with Set Theory. 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, Mars 2004.
2. H. Ruíz Barradas, D. Bert. Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, Mars 2004.

2003

1. L. du du Bousquet, J.-L. Lanet, H. Martin. Enhancing Java Card applet validation process: a methodology and its associated tools. e-SMART, Sophia Antipolis, France, 2003.
2. 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.
3. Y. Ledru, S. Dupuy. RoZ, un outil intégrant UML et Z pour l'ingénierie des exigences. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, IRISA, Rennes, Janvier 2003.
4. Y. Ledru. RoZ, un outil intégrant UML et Z pour la modélisation des systèmes d'information. Journée QSL (Qualité et Sureté du Logiciel), Nancy, 2003.

2002

1. Y. Ledru. Panel on Future Research Directions in Automated Software Engineering. 17th International Conference on Automated Software Engineering, Edinburgh, UK, 2002.
2. Y. Ledru. The TOBIAS Test Generator and Its Adaptation to Some ASE Challenges (position paper). Workshop on the State of the Art in Automated Software Engineering, ICS Technical Report UCI-ICS-02-17, 2002.
3. H. Martin, F. Combret, L. du Bousquet, P. Bontron, O. Maury. Toward testing automation. Gemplus Developer Conference, Singapore, 2002.

2001

1. Y. Ledru. Introduction à la journée ``Architecture Logicielle''. Club SEE ``Systèmes Informatiques de Confiance'', Paris, 2001.

1999

1. S. Dupuy. RoZ version 0.3 : an environment for the integration of UML and Z. 1999. download
2. Farid Ouabdesselam. A Survey of Testing in a Synchronous Context. World Congress on Formal Methods in the Development Computing Systems. Industrial track on testing. Invited talk, Toulouse (France), Octobre 1999.

1998

1. Farid Ouabdesselam. Testing Techniques for Synchronous Software. Dagsthul Seminar Report 223, Septembre 1998.

1997

1. P. Jacquet, Y. Ledru, X. Nicollin, M.-L. Potet. Logiciels critiques : Catalogue d'une exposition bibliographique. Technique et Science Informatique, Vol.16, No 6, 1997.
2. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Validation incrémentale de spécifications de services. Séminaire de mi-parcours des CTI 95, CNET Issy, Octobre 1997.
3. B. Ferrari, F. Ouabdesselam, C. Robach. La testabilité du logiciel comme critère de qualité. Séminaire de l'action scientifique CTI 93, CNET Issy, Mars 1997.

1996

1. Y. Ledru. Utilisation de KIDS comme support pour VDM. Journée groupe ADER - Paris, 1996.
2. Y. Ledru. Enrichissement de spécifications semi-formelles avec Z. Journée groupe AFCET zéro-défaut, Paris, 1996.

1995

1. Y. Ledru. Proof-based development of specifications with KIDS/VDM. Séminaire du Département d'Informatique, Ecole Polytechnique de Lausanne, Suisse, 1995.
2. Y. Ledru. Développement prouvé de prototypes de spécifications avec KIDS/VDM. Journée groupe ADER, Paris, 1995.
3. Y. Ledru. Utilisation pratique des spécifications formelles. Tutoriel Congrès INFORSID 95, Grenoble, 1995.
4. Y. Ledru. Utilisation pratique des spécifications formelles. Tutoriel Congrès INFORSID 96, Bordeaux, 1995.