Guillaume Lussier

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

Guillaume Lussier, Hélène Waeselynck, Karim Guennoun
Proof-Guided Testing: An Experimental Study. COMPSAC (2004)
Guillaume Lussier, Hélène Waeselynck
Deriving Test Sets from Partial Proofs. ISSRE (2004)
Guillaume Lussier, Hélène Waeselynck
Informal Proof Analysis Towards Testing Enhancement. ISSRE (2002)