Lydie du Bousquet

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

29EELydie du Bousquet, Muhammad Rabee Shaheen: Relation between Depth of Inheritance Tree and Number of Methods to Test. ICST 2008: 161-170
28EELydie du Bousquet, Michel Delaunay: Towards Mutation Analysis for Lustre Programs. Electr. Notes Theor. Comput. Sci. 203(4): 35-48 (2008)
27 Lydie du Bousquet, Jean-Luc Richier: Feature Interactions in Software and Communication Systems IX, International Co nference on Feature Interactions in Software and Communication Systems, ICFI 2007, 3-5 September 2007, Grenoble, France IOS Press 2007
26EEYves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose: Mastering combinatorial explosion with the tobias-2 test generator. ASE 2007: 535-536
25EEBen Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto: Characterizing Safety of Integrated Services in Home Network System. ICOST 2007: 130-140
24EELydie du Bousquet, Michel Delaunay: Using mutation analysis to evaluate test generation strategies in a synchronous context. ICSEA 2007: 40
23 Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki: Using Formal Methods to increase confidence in one Home Network System implementation: Case study. ISoLA 2007: 203-214
22EEFrédéric Dadeau, Yves Ledru, Lydie du Bousquet: Measuring a Java Test Suite Coverage Using JML Specifications. Electr. Notes Theor. Comput. Sci. 190(2): 21-32 (2007)
21EEYves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti: A Case Study in Matching Test and Proof Coverage. Electr. Notes Theor. Comput. Sci. 190(2): 73-84 (2007)
20EEYves Ledru, Lydie du Bousquet: Tobias-Z: An executable formal specification of a test generator. ASE 2006: 353-354
19EELydie du Bousquet: Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required. ICSEA 2006: 18
18EESophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru: Test of the ICARE Platform Fusion Mechanism. DSV-IS 2005: 102-113
17EEGavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro: Ambience and Mobility. DSV-IS 2005: 264
16 Lydie du Bousquet, Olivier Gaudoin: Telephony Feature Validation against Eventuality Properties and Interaction Detection based on a Statistical Analysis of the Time to Service. FIW 2005: 78-95
15EELydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet: Case Study in JML-Based Software Validation. ASE 2004: 294-297
14EEYves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron: Filtering TOBIAS Combinatorial Test Suites. FASE 2004: 281-294
13EELydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon: Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. Electr. Notes Theor. Comput. Sci. 88: 105-121 (2004)
12EEYves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet: Test Purposes: Adapting the Notion of Specification to Testing. ASE 2001: 127-134
11EESophie Dupuy-Chessa, Lydie du Bousquet: Validation of UML Models Thanks to Z and Lustre. FME 2001: 242-258
10 Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel: Conformance Testing from UML Specifications. Experience Report. pUML 2001: 43-55
9EEVlad Rusu, Lydie du Bousquet, Thierry Jéron: An Approach to Symbolic Test Generation. IFM 2000: 338-357
8EEHugues Martin, Lydie du Bousquet: Automatic Test Generation for Java-Card Applets. Java Card Workshop 2000: 121-136
7 Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries: Formal Test Automation: The Conference Protocol with TGV/TORX. TestCom 2000: 221-228
6EELydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon: Feature interaction detection using a synchronous approach and testing. Computer Networks 32(4): 419-431 (2000)
5EESophie Dupuy, Lydie du Bousquet: A Multi-formalism Approach for the Validation of UML Models. Formal Asp. Comput. 12(4): 228-230 (2000)
4EELydie du Bousquet, Nicolas Zuanon: An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. ASE 1999: 208-215
3EELydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon: Lutess: A Specification-Driven Testing Environment for Synchronous Software. ICSE 1999: 267-276
2EELydie du Bousquet: Feature Interaction Detection Using Testing and Model-Checking Experience Report. World Congress on Formal Methods 1999: 622-641
1 Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon: Incremental Feature Validation: a Synchronous Point of View. FIW 1998: 262-275

Coauthor Index

1F. Allouti [21]
2El Mustapha El Atifi [17]
3Axel Belinfante [7]
4Pierre Bontron [12] [14]
5Jullien Bouchet [18]
6José Creissac Campos [17]
7Frédéric Dadeau [21] [22] [26]
8Michel Delaunay [24] [28]
9Gavin J. Doherty [17]
10Sophie Dupuy-Chessa (Sophie Dupuy) [5] [11] [18]
11Gilles Falquet [17]
12Olivier Gaudoin [16]
13Hiroshi Igaki [23]
14Thierry Jéron [9]
15Jean-Marc Jézéquel [10]
16Jean-Louis Lanet [15]
17Yves Ledru [12] [14] [15] [18] [20] [21] [22] [26]
18Hugues Martin [8] [10]
19Mieke Massink [17]
20Ken-ichi Matsumoto [25]
21Olivier Maury [12] [14] [15]
22Masahide Nakamura [23] [25]
23Catherine Oriat [12] [15]
24Farid Ouabdesselam [1] [3] [6] [13]
25Marie-Laure Potet [12]
26Solofo Ramangalahy [7]
27Jean-Luc Richier [1] [3] [6] [13] [27]
28Elodie Rose [26]
29Vlad Rusu [9]
30Carmen Santoro [17]
31Muhammad Rabee Shaheen [29]
32Séverine Simon [7]
33César Viho [7]
34Sébastien Ville [26]
35René G. de Vries [7]
36Ben Yan [23] [25]
37Nicolas Zuanon [1] [3] [4] [6] [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)