A case study for generating test cases from use cases. - Javier J. Gutiérrez 001; María J. Escalona; Manuel Mejías; Jesús Torres 001; Arturo H. Centeno (RCIS, 2008)