Guillaume Lussier

According to our database, Guillaume Lussier authored at least 3 papers between 2002 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2004

Deriving Test Sets from Partial Proofs.

Guillaume Lussier, Hélène Waeselynck

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Proof-Guided Testing: An Experimental Study.

Guillaume Lussier, Hélène Waeselynck, Karim Guennoun

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2002

Informal Proof Analysis Towards Testing Enhancement.

Guillaume Lussier, Hélène Waeselynck

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002