A Case Study in Matching Test and Proof Coverage. - Yves Ledru; Lydie du Bousquet; Frédéric Dadeau; F. Allouti (MBT, 2007)