| |
| 2004 | ||
|---|---|---|
| 3 | EE | Guillaume Lussier, Hélène Waeselynck, Karim Guennoun: Proof-Guided Testing: An Experimental Study. COMPSAC 2004: 528-533 |
| 2 | EE | Guillaume Lussier, Hélène Waeselynck: Deriving Test Sets from Partial Proofs. ISSRE 2004: 14-24 |
| 2002 | ||
| 1 | EE | 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] |