Publications de Lydie du Bousquet

Load the BibTeX file

Thèses et habilitations à diriger les recherches

1. L. du Bousquet. Contributions à l'automatisation raisonnée de différents processus du test logiciel. Habilitation à diriger des recherches, Grenoble, France, Novembre 2010.
2. L. du Bousquet. Test fonctionnel statistique de systèmes spécifiés en Lustre. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 1999.

Ouvrages

1. Lydie du Bousquet, Jean-Luc Richier, (eds). Feature Interactions in Software and Communication Systems IX, International Conference on Feature Interactions in Software and Communication Systems, ICFI 2007. IOS Press, Grenoble, France, Septembre 2007.

Articles de journaux

1. Yves Ledru, Lydie du Bousquet. Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test. Technique et Science Informatiques, RSTI, série TSI, 31(6):743-767, 2012.
2. Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet. Reusing a JML specification dedicated to verification for testing, and vice-versa: case studies. Journal of Automatic Reasoning, Special issue on Tests and Proofs, 45(4):415-435, 2010.
3. L. du Bousquet, M. Nakamura, B. Yan, H. Igaki. Using formal methods to increase confidence in a home network system implementation: a case study. Innovations in Systems and Software Engineering, 5(3):181-196, Septembre 2009.
4. B. Yan, M. Nakamura, L. du Bousquet, K.-I. Matsumoto. Validating Safety for Integrated Services of Home Network System Using JML. Journal of Information Processing (IPSJ), 16:38-49, 2008.
5. Lydie du Bousquet, Michel Delaunay. Towards Mutation Analysis for Lustre Programs. Electr. Notes Theor. Comput. Sci, 203(4):35-48, 2008.
6. L. du Bousquet, S. Dupuy. A Multi-Formalism Approach for the validation of UML models. Formal Aspects of Computing, Résumé de deux pages, à paraître, 2000.
7. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Feature interaction detection using synchronous approach and testing. Computer Networks and ISDN Systems, 32(4):419-431, Avril 2000.
8. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Test et approche synchrone pour la détection d'interactions de services téléphoniques. Calculateurs Parallèles, Réseaux et Systèmes répartis, 11(4):419-446, Décembre 1999.

Conférences internationales

1. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Single-Trace Fault Localization in Embedded Software. In 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pages 148-157, Pasadena, CA, USA, 2013.
2. Mickaël Delahaye, Lydie du Bousquet. A Comparison of Mutation Analysis Tools for Java. In International Conference on Quality Software (QSIC 2013), Pages 187-195, Juillet 2013.
3. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Compressing Microcontroller Execution Traces to Assist System Analysis. In International Embedded Systems Symposium (IESS), Pages 139-150, Juin 2013.
4. 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.
5. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella. Model-based filtering of combinatorial test suites. In Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), LNCS, Volume 7212, Pages 439-454, Tallinn, Estonia, Mars 2012.
6. 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.
7. Lydie du Bousquet. A New Approach for Software Testability. In Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference (TAIC PART), Lecture Notes in Computer Science, Volume 6303, Pages 207-210, Windsor, UK, 2010.
8. Lydie du Bousquet, Michel Lévy. Proof Process Evaluation with Mutation Analysis. In Tests and Proofs(TAP), Lecture Notes in Computer Science, Volume 6143, Pages 55-60, Malaga, Spain, 2010.
9. Ajitha Rajan, Lydie du Bousquet, Yves Ledru, German Vega, Jean-Luc Richier. Assertion-based test oracles for home automation systems. In Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES'10, Pages 45-52, New York, NY, USA, 2010. download download
10. Tor Stalhane, Guttorm Sindre, Lydie du Bousquet. Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases. In Advanced Information Systems Engineering, 22nd International Conference (CAiSE), Lecture Notes in Computer Science, Volume 6051, Pages 165-179, Hammamet, Tunisia, Juin 2010.
11. M.-R. Shaheen, L. du Bousquet. Analysis of the introduction of testability antipatterns during the development process. In Fourth International Conference on Software Engineering Advances ICSEA, Pages 128-133, Porto, Portugal, Septembre 2009.
12. M.-R. Shaheen, L. du Bousquet. Is Depth of Inheritance Tree a Good Cost Prediction For Branch Coverage Testing?. In First International Conference on Advances in System Testing and Validation Lifecycle VALID, Pages 42-47, Porto, Portugal, Septembre 2009.
13. Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, German Vega. Service specification and validation in the context of the home. In 10th International Conference on Feature Interactions (ICFI 2009), Pages 207-219, Lisbon, Portugal, Juin 2009.
14. Muhammad-Rabee Shaheen, Lydie du Bousquet. Quantitative analysis of testability antipatterns on open source Java applications. In 12th ECOOP Workshop on Quantitative Approaches on Object Oriented Software Engineering, 2008.
15. Lydie du Bousquet, Muhammad-Rabee Shaheen. Relation between Depth of Inheritance Tree and Number of Methods to Test. In First International Conference on Software Testing, Verification, and Validation, ICST 2008, Pages 161-170, Lillehammer, Norway, Avril 2008.
16. Luca Ferro, Laurence Pierre, Yves Ledru, Lydie du Bousquet. Generation of test programs for the assertion-based verification of TLM models. In Design and Test Workshop, 2008. IDT 2008. 3rd International, Pages 237-242, 2008. download download
17. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet. Directed random reduction of combinatorial test suites. In RT '07: Proceedings of the 2nd international workshop on Random testing, Pages 18-25, New York, NY, USA, 2007. download
18. L. du Bousquet, M. Nakamura, B. Yan, H. Igaki. Using Formal Methods to Increase Confidence in one Home Network System Implementation. Case Study. In Workshop on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007), Poitiers, France, Décembre 2007.
19. L. du Bousquet, M. Delaunay. Using mutation analysis to evaluate test generation strategies in a synchronous context. In Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), Pages 40-45, Esterel, France, Août 2007.
20. B. Yan, M. Nakamura, L. du Bousquet, Ken-ichi Matsumoto. Characterizing Safety of Integrated Services in Home Network System. In 5th International Conference On Smart Homes and Health Telematics (ICOST), Lecture Notes in Computer Science, Volume 4541, Pages 130-140, Nara, Japan, Juin 2007.
21. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet. Measuring a Java Test Suite Coverage using JML Specifications. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, Mars 2007.
22. Lydie du Bousquet, Yves Ledru, Frédéric Dadeau, F. Allouti. A Case Study in Matching Test and Proof Coverage. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, Mars 2007.
23. Yves Ledru, Lydie du Bousquet. Tobias-Z: An executable formal specification of a test generator. In 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, Demonstration, Pages 353-354, 2006.
24. L. du Bousquet. Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required. In International Conference on Software Engineering Advances (ICSEA'06), Papeete, Tahiti, French Polynesia, Novembre 2006.
25. S. Dupuy-Chessa, L. du Bousquet, J. Bouchet, Y. Ledru. Test of the ICARE platform fusion mechanism. In 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'05), 12 pages, Newcastle upon Tyne, England, Juillet 2005.
26. G. J. Doherty, L. du Bousquet, J. Creissac Campos, E. M. El Atifi, G. Falquet, M. Massink, C. Santoro. Ambience and Mobility. In Interactive Systems, Design, Specification, and Verification (DSV-IS'05), Lecture Notes in Computer Science, Volume 3941, Pages 264-264, Newcastle upon Tyne, UK, Juillet 2005.
27. L. du Bousquet, O. Gaudoin. Telephony feature validation against eventuality properties and interaction detection based on a statistical analysis of the time to service. In Int. Conference on Feature Interactions in Telecommunications and Systems Software (FIW VIII), Pages 78-95, Leicester, UK, Juin 2005.
28. Y. Ledru, L. du Bousquet, O. Maury, P. Bontron. Filtering TOBIAS combinatorial test suites. In Proceedings of ETAPS/FASE'04 - Fundamental Approaches to Software Engineering, Pages 281-294, Barcelona, 2004.
29. L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.-L. Lanet. A case study in JML-based software validation (short paper). In Proceedings of 19th Int. IEEE Conf. on Automated Sofware Engineering (ASE'04), Pages 294-297, Linz, Septembre 2004.
30. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Testing about some eventuality properties of synchronous software: a case study. In Synchronous Languages, Applications, and Programming (SLAP'03), Pages 105-121, Juillet 2003.
31. O. Maury, Y. Ledru, P. Bontron, L. du Bousquet. Using TOBIAS for the automatic generation of VDM test cases. In Third VDM Workshop (in conjunction with FME2002), 15 pages, Copenhagen, Danemark, 2002.
32. L. du Bousquet, H. Martin, J.-M. Jézéquel. Conformance Testing from UML specifications, Experience Report. In p-UML workshop, Gesellschaft für Informatik (GI) für Informatik (GI) (ed.), Volume P-7, Pages 43-56, Toronto, Canada, 2001.
33. L. du Bousquet. An Approach to Evaluate Testability. In 2nd Int. Workshop on Automated Program Analysis, Testing, and Verification (WAPATAV), 4 pages, Toronto, Canada, 2001.
34. Y. Ledru, L. du Bousquet, P. Bontron, O. Maury, C. Oriat, M.-L. Potet. Test purposes: adapting the notion of specification to testing. In Proceedings of the 16th International Conference on Automated Software Engineering, Pages 127-134, San Diego, Novembre 2001.
35. 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.
36. S. Dupuy, L. du Bousquet. Validation of UML models thanks to Z and Lustre. In Formal Methods Europe, Berlin, Germany, Mars 2000.
37. L. du Bousquet, N. Zuanon. An Overview of Lutess, A Specification-based Tool for Testing Synchronous Software. In 14th IEEE International Conference on Automated Software Engineering, Pages 208-215, Octobre 1999.
38. L. du Bousquet. Feature Interaction Detection using Testing and Model-checking, Experience report. In World Congress on Formal Methods (FM'99), Pages 622-641, Toulouse, France, Septembre 1999.
39. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In 21st International Conference on Software Engineering (ICSE'99), Pages 267-276, Los Angeles, Mai 1999.
40. 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.
41. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Expressing and implementing operational profiles for reactive software validation. In 9th International Symposium on Software Reliability Engineering (ISSRE'98), Pages 222-230, Paderborn, Germany, Novembre 1998.
42. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Incremental feature validation : a synchronous point of view. In Feature Interactions in Telecommunication Systems V (FIW'98), Pages 262-275, Lund, Suède, Octobre 1998.

Communications avec actes

1. A. Amiar, M. Delahaye, Y. Falcone, L. du Bousquet. Résumer les traces d'exécution des micro-contrôleurs. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, 2012.
2. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle. In Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Pages 179-180, Rennes, France, 2012.
3. Taha Triki, Lydie du Bousquet, Yves Ledru. Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelle. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 120-134, Grenoble, Janvier 2012.
4. 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.
5. Yves Ledru, Lydie du Bousquet. De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet. In Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 117-131, Poitiers, Juin 2010.
6. V. Papailiopoulou, L. Madani, L. du Bousquet, I. Parissis. Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), L'Aquila, Italy, 2008.
7. Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose. Mastering combinatorial explosion with the tobias-2 test generator. In 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer (eds.), Pages 535-536, 2007.
8. B. Baldassari, C. Robach, L. du Bousquet, J. Brosse. Early metrics for object oriented designs. In 1st Int. Workshop on Testability Assessment (IWoTA) (in conjunction with ISSRE04), Pages 62-69, Rennes, France, Novembre 2004.
9. 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.
10. O. Maury, Y. Ledru, L. du Bousquet. Intégration de TOBIAS et UCASTING pour la génération. In 16th International Conference Software and Systems and their applications-ICSSEA, 7 pages, Paris, 2003.
11. P. Bontron, O. Maury, L. du Bousquet, Y. Ledru, C. Oriat, M.-L. Potet. TOBIAS : un environnement pour la création d'objectifs de test à partir de schémas de test. In 14th International Conference Software & Systems Engineering and their Applications - ICSSEA'2001, 7 pages, Paris, France, 2001.
12. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Telecommunication software validation using a synchronous approach. In First IEEE Workshop on Application-Specific Software Engineering and Technology (ASSET'98), Article court, Dallas, USA, Mars 1998.
13. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Environnement pour le test d'applications synchrones. In 2ème Congrès sur la Modélisation des systèmes réactifs, Pages 51-60, Cachan, France, Mars 1998.

Rapports de recherche

1. Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding. Research Report LIG, No 31, Février 2013.
2. Muhammad Rabee Shaheen, Lydie du Bousquet. Survey of source code metrics for evaluating testability of object oriented systems. Research Report LIG, 2010.
3. Lydie du Bousquet. Mutation analysis to evaluate Lustre program specifications in the context of model-checking. Research Report LIG, 2010.

Autres communications

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.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. H. Martin, F. Combret, L. du Bousquet, P. Bontron, O. Maury. Toward testing automation. Gemplus Developer Conference, Singapore, 2002.