M-elopee: a CASE tool for software reliability study. - Frédérique Vallée; Bertrand Gayet; Henri Derriennic; Gilbert Le Gall (ISSRE, 1995)