Informal Proof Analysis Towards Testing Enhancement. - Guillaume Lussier; Hélène Waeselynck (ISSRE, 2002)

Proof-Guided Testing: An Experimental Study. - Guillaume Lussier; Hélène Waeselynck; Karim Guennoun (COMPSAC, 2004)

Deriving Test Sets from Partial Proofs. - Guillaume Lussier; Hélène Waeselynck (ISSRE, 2004)