Guillaume Lussier, Hélène Waeselynck. Informal Proof Analysis Towards Testing Enhancement. In 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA. pages 27-40, IEEE Computer Society, 2002. [doi]
Abstract is missing.