Automatic application of the category-partition method with loops support over functional requirements.

Javier J. Gutirrez, Mara J. Escalona, Manuel Mejas, Isabel M. Ramos, Claudia P. Gmez

Browse the full EATIS paper archive.