Olivier Maury

	2010
4		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)
	2004
3		Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet: Case Study in JML-Based Software Validation. ASE 2004: 294-297
2		Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron: Filtering TOBIAS Combinatorial Test Suites. FASE 2004: 281-294
	2001
1		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

Coauthor Index

1	Pierre Bontron	[1] [2]
2	Lydie du Bousquet	[1] [2] [3] [4]
3	Jean-Louis Lanet	[3] [4]
4	Yves Ledru	[1] [2] [3] [4]
5	Catherine Oriat	[1] [3] [4]
6	Marie-Laure Potet	[1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page