Nombre de documents

36

Lydie du Bousquet


Article dans une revue5 documents

  • Mickaël Delahaye, Lydie Du Bousquet. Selecting a software engineering tool: lessons learnt from mutation analysis. Software: Practice and Experience, Wiley, 2015, 45 (7), pp.875-891. <10.1002/spe.2312>. <hal-01274020>
  • Philippe Collet, Lydie Du Bousquet, Laurence Duchien, Pierre-Etienne Moreau. Défis 2025. Techniques et sciences informatique (TSI), 2015, 34 (3), pp.311-324. <http://tsi.revuesonline.com/article.jsp?articleId=21482>. <10.3166/TSI.34.293-306>. <hal-01345654>
  • 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, Editions Hermes, 2012, 31 (6), pp.743-767. <10.3166/tsi.31.743-767>. <hal-00857295>
  • 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 Automated Reasoning, Springer Verlag, 2010, 45 (4), pp.415-435. <10.1007/s10817-009-9132-y>. <hal-00587110>
  • Lydie 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, Springer Verlag, 2009, 5 (3), pp.181-196. <10.1007/s11334-009-0092-5>. <hal-00953582>

Communication dans un congrès25 documents

  • 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. AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2013, Grenoble, France. pp.120-134, 2013. <hal-00857296>
  • Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. 6th International Conference on Software Testing and Verification (ICST 2013), Mar 2013, Luxembourg, Luxembourg. pp.104-113, 2013. <hal-00954524>
  • Mickaël Delahaye, Lydie Du Bousquet. A Comparison of Mutation Analysis Tools for Java. QSIC 2013 - International Conference on Quality Software, Jul 2013, Nanjing, China. IEEE Computer Society, 2013. <hal-00853717>
  • Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet. Compressing Microcontroller Execution Traces to Assist System Analysis. Schirner, Gunar and Götz, Marcelo and Rettberg, Achim and Zanella, Mauro C. and Rammig, Franz J. IESS 2013 - 4th IFIP TC 10 International Embedded Systems Symposium, Jun 2013, Paderborn, Germany. Springer, 403, pp.139-150, 2013, IFIP Advances in Information and Communication Technology; Embedded Systems: Design, Analysis and Verification. <10.1007/978-3-642-38853-8_13>. <hal-00853716>
  • Yves Ledru, German Eduardo Vega Baez, Taha Triki, Lydie Du Bousquet. Test Suite Selection Based on Traceability Annotations. ASE 2012 - International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. ACM, pp.342-345, 2012, <10.1145/2351676.2351742>. <hal-00857298>
  • Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Model-Based Filtering of Combinatorial Test Suites. Juan de Lara, Andrea Zisman. FASE 2012 - Fundamental Aspects of Software Engineering, Mar 2012, Tallinn, Estonia. Springer, 7212, pp.439-454, 2012, Lecture Notes in Computer Science; Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012. <http://link.springer.com/chapter/10.1007%2F978-3-642-28872-2_30>. <10.1007/978-3-642-28872-2_30>. <hal-00760013>
  • Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. Évaluation de la qualité de jeux de tests hybrides en domotique. AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.104-119, 2012. <hal-00680691>
  • Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Model-Based Filtering of Combinatorial Test Suites. FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454, 2012. <hal-00935068>
  • Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Model-Based Filtering of Combinatorial Test Suites. FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454, 2012. <hal-00935067>
  • Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet. Résumer les traces d'exécution des micro-contrôleurs. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France. 2012. <hal-00953276>
  • 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, 2012, Rennes, France. pp.217, 2012. <hal-00953274>
  • Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie Du Bousquet, Taha Triki, et al.. 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, 2012, Rennes, France. pp.241, 2012. <hal-00953275>
  • 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. Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180, 2012. <hal-00953273>
  • Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. Home Automation Systems Testing : A Coverage Measure for Hybrid Automata. Burkhart Wolff and Fatiha Zaidi. ICTSS 2011 - 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. pp.5-12, 2011. <hal-00860799>
  • Ajitha Rajan, Lydie Du Bousquet, Yves Ledru, German Eduardo Vega Baez, Jean-Luc Richier. Assertion-based test oracles for home automation systems. Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010, New York, NY, United States. ACM, pp.45-52, 2010, MOMPES'10. <10.1145/1865875.1865882>. <hal-00953393>
  • Lydie Du Bousquet. A New Approach for Software Testability. Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference (TAIC PART), 2010, Windsor, UK, Springer, 6303, pp.207-210, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-15585-7_23>. <hal-00953391>
  • Lydie Du Bousquet, Michel Lévy. Proof Process Evaluation with Mutation Analysis. Tests and Proofs (TAP 2010), 2010, Malaga, Spain. Springer, 6143, pp.55-60, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-13977-2_6>. <hal-00953392>
  • Yves Ledru, Lydie Du Bousquet. De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet. Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, 2010, Poitiers, pp.117-131, 2010. <hal-00953400>
  • Tor Stålhane, Guttorm Sindre, Lydie Du Bousquet. Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases. Advanced Information Systems Engineering, 22nd International Conference (CAiSE), 2010, Hammamet, Tunisia. Springer, 6051, pp.165-179, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-13094-6_14>. <hal-00953390>
  • Lydie Du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, German Eduardo Vega Baez. Service specification and validation in the context of the home. 10th International Conference on Feature Interactions (ICFI 2009), 2009, Lisbon, Portugal. IOS Press, pp.207-219, 2009. <hal-00953584>
  • Muhammad Rabee Shaheen, Lydie Du Bousquet. Is Depth of Inheritance Tree a Good Cost Prediction For Branch Coverage Testing?. First International Conference on Advances in System Testing and Validation Lifecycle VALID, 2009, Porto, Portugal. IEEE, pp.42-47, 2009, <10.1109/VALID.2009.11>. <hal-00953585>
  • Muhammad Rabee Shaheen, Lydie Du Bousquet. Analysis of the introduction of testability antipatterns during the development process. Fourth International Conference on Software Engineering Advances ICSEA, 2009, Porto, Portugal. IEEE, pp.128-133, 2009, <10.1109/ICSEA.2009.27>. <hal-00953586>
  • L. Ferro, L. Pierre, Y. Ledru, L. Du Bousquet. Generation of Test Programs for the Assertion-Based Verification of TLM Models. IEEE International Design and Test Workshop (IDT'08), Dec 2008, Monastir, Tunisia. IEEE Computer Society, pp.237-242, 2008, IEEE Catalog Number: CFP0863D-PRT, Library of Congress: 2008910894. <hal-00354257>
  • Lydie Du Bousquet, Michel Delaunay. Mutation analysis for Lustre programs: Fault model description and validation. Testing: Academic and Industrial Conference Practice and Research Techniques. TAICPART-MUTATION 2007, Sep 2007, Cumberland Lodge, Windsor, United Kingdom. IEEE, pp.176-184, 2007, <http://ieeexplore.ieee.org/xpl/abstractKeywords.jsp?tp=&arnumber=4344122>. <10.1109/TAIC.PART.2007.27>. <hal-01272641>
  • Lydie Du Bousquet, Hugues Martin, Jean-Marc Jézéquel. Conformance testing from UML specifications. Experience Report. Lecture Notes in Informatics (LNI), Oct 2001, Dortmund, Germany. 2001. <hal-00794313>

Rapport4 documents

  • Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding. 2013. <hal-00857299>
  • Nicolas Balacheff, Béatrice Buccio, Patrick Chapuis, Jacky Coutin, Joëlle Coutaz, et al.. The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report. 2011. <hal-00773168>
  • Muhammad Rabee Shaheen, Lydie Du Bousquet. Survey of source code metrics for evaluating testability of object oriented systems. [Research Report] RR-LIG-005, 2010. <hal-00953403>
  • Lydie Du Bousquet. Mutation analysis to evaluate Lustre program specifications in the context of model-checking. [Research Report] RR-LIG-007, 2010. <hal-00953404>

Thèse1 document

  • Lydie Du Bousquet. Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 1999. Français. <tel-00004828>

HDR1 document

  • Lydie Du Bousquet. Contributions à l'automatisation raisonnée de différents processus du test logiciel. Génie logiciel [cs.SE]. Université de Grenoble, 2010. <tel-01005528>