Lydie du Bousquet

	2012
39		Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella: Model-Based Filtering of Combinatorial Test Suites. FASE 2012: 439-454
	2010
38		Tor Stålhane, Guttorm Sindre, Lydie du Bousquet: Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases. CAiSE 2010: 165-179
37		Lydie du Bousquet: A New Approach for Software Testability. TAIC PART 2010: 207-210
36		Lydie du Bousquet, Michel Lévy: Proof Process Evaluation with Mutation Analysis. TAP 2010: 55-60
35		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. J. Autom. Reasoning 45(4): 415-435 (2010)
	2009
34		Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, Germán Vega: Service specification and validation in the context of the home. ICFI 2009: 207-219
33		Muhammad Rabee Shaheen, Lydie du Bousquet: Analysis of the Introduction of Testability Antipatterns during the Development Process. ICSEA 2009: 128-133
32		Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki: Using formal methods to increase confidence in a home network system implementation: a case study. ISSE 5(3): 181-196 (2009)
	2008
31		Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis: Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. FMICS 2008: 23-36
30		Lydie du Bousquet, Muhammad Rabee Shaheen: Relation between Depth of Inheritance Tree and Number of Methods to Test. ICST 2008: 161-170
29		Lydie du Bousquet, Michel Delaunay: Towards Mutation Analysis for Lustre Programs. Electr. Notes Theor. Comput. Sci. 203(4): 35-48 (2008)
28		Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto: Validating Safety for the Integrated Services of the Home Network System Using JML. JIP 16: 38-49 (2008)
	2007
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
26		Yves 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
25		Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto: Characterizing Safety of Integrated Services in Home Network System. ICOST 2007: 130-140
24		Lydie 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
22		Fré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)
21		Yves 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)
	2006
20		Yves Ledru, Lydie du Bousquet: Tobias-Z: An executable formal specification of a test generator. ASE 2006: 353-354
19		Lydie du Bousquet: Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required. ICSEA 2006: 18
	2005
18		Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru: Test of the ICARE Platform Fusion Mechanism. DSV-IS 2005: 102-113
17		Gavin 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
	2004
15		Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet: Case Study in JML-Based Software Validation. ASE 2004: 294-297
14		Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron: Filtering TOBIAS Combinatorial Test Suites. FASE 2004: 281-294
13		Lydie 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)
	2001
12		Yves 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
11		Sophie 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
	2000
9		Vlad Rusu, Lydie du Bousquet, Thierry Jéron: An Approach to Symbolic Test Generation. IFM 2000: 338-357
8		Hugues 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
6		Lydie 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)
5		Sophie Dupuy, Lydie du Bousquet: A Multi-formalism Approach for the Validation of UML Models. Formal Asp. Comput. 12(4): 228-230 (2000)
	1999
4		Lydie du Bousquet, Nicolas Zuanon: An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. ASE 1999: 208-215
3		Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon: Lutess: A Specification-Driven Testing Environment for Synchronous Software. ICSE 1999: 267-276
2		Lydie du Bousquet: Feature Interaction Detection Using Testing and Model-Checking Experience Report. World Congress on Formal Methods 1999: 622-641
	1998
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

1	F. Allouti	[21]
2	El Mustapha El Atifi	[17]
3	Axel Belinfante	[7]
4	Pierre Bontron	[12] [14]
5	Julien Botella	[39]
6	Jullien Bouchet	[18]
7	José Creissac Campos	[17]
8	Frédéric Dadeau	[21] [22] [26] [39]
9	Michel Delaunay	[24] [29]
10	Gavin J. Doherty	[17]
11	Sophie Dupuy-Chessa (Sophie Dupuy)	[5] [11] [18]
12	Gilles Falquet	[17]
13	Olivier Gaudoin	[16]
14	Hiroshi Igaki	[23] [32]
15	Thierry Jéron	[9]
16	Jean-Marc Jézéquel	[10]
17	Jean-Louis Lanet	[15] [35]
18	Yves Ledru	[12] [14] [15] [18] [20] [21] [22] [26] [35] [39]
19	Michel Lévy	[36]
20	Laya Madani	[31]
21	Hugues Martin	[8] [10]
22	Mieke Massink	[17]
23	Ken-ichi Matsumoto	[25] [28]
24	Olivier Maury	[12] [14] [15] [35]
25	Masahide Nakamura	[23] [25] [28] [32]
26	Catherine Oriat	[12] [15] [34] [35]
27	Farid Ouabdesselam	[1] [3] [6] [13]
28	Virginia Papailiopoulou	[31]
29	Ioannis Parissis	[31]
30	Marie-Laure Potet	[12]
31	Ajitha Rajan	[34]
32	Solofo Ramangalahy	[7]
33	Jean-Luc Richier	[1] [3] [6] [13] [27] [34]
34	Elodie Rose	[26]
35	Vlad Rusu	[9]
36	Carmen Santoro	[17]
37	Muhammad Rabee Shaheen	[30] [33]
38	Séverine Simon	[7]
39	Guttorm Sindre	[38]
40	Tor Stålhane	[38]
41	Taha Triki	[39]
42	Germán Vega	[34]
43	César Viho	[7]
44	Sébastien Ville	[26]
45	René G. de Vries	[7]
46	Ben Yan	[23] [25] [28] [32]
47	Nicolas Zuanon	[1] [3] [4] [6] [13]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page