Automatic application of the category-partition method with loops support over functional requirements. - Javier J. Gutiérrez 001; María J. Escalona; Manuel Mejías; Isabel M. Ramos; Claudia P. Gómez (EATIS, 2008)