Skip to content

Guillaume Lussier

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

2

Active years

2002–2004

Best venue rank

A

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2004COMPSACProof-Guided Testing: An Experimental Study.Guillaume Lussier, Hlne Waeselynck, Karim Guennoun
2004ISSREDeriving Test Sets from Partial Proofs.Guillaume Lussier, Hlne Waeselynck
2002ISSREInformal Proof Analysis Towards Testing Enhancement.Guillaume Lussier, Hlne Waeselynck