Deriving Test Sets from Partial Proofs.

Guillaume Lussier, Hlne Waeselynck

Browse the full ISSRE paper archive.