Guillaume Lussier

	2004
3		Guillaume Lussier, Hélène Waeselynck, Karim Guennoun: Proof-Guided Testing: An Experimental Study. COMPSAC 2004: 528-533
2		Guillaume Lussier, Hélène Waeselynck: Deriving Test Sets from Partial Proofs. ISSRE 2004: 14-24
	2002
1		Guillaume Lussier, Hélène Waeselynck: Informal Proof Analysis Towards Testing Enhancement. ISSRE 2002: 27-40

Coauthor Index

1	Karim Guennoun	[3]
2	Hélène Waeselynck	[1] [2] [3]

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