Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. - Anamaria Martins Moreira; Cleverton Hentz; David Déharbe; Ernesto Cid Brasil de Matos; João Batista de Souza Neto; Valério de Medeiros Jr. (TAP@STAF, 2015)