Informal Proof Analysis Towards Testing Enhancement.

Guillaume Lussier, Hlne Waeselynck

Browse the full ISSRE paper archive.