- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 1 | Karim Guennoun | [3] |
| 2 | Hélène Waeselynck | [1] [2] [3] |