I have seen that it requires an XMI file as an input. What tool where the students using to generate it?
http://gres.uoc.edu/#Tools contains a link to the tool that is not working. Would it be possible to play with it?
Thank you!
Article CUCKOO: Una plataforma web para la verificación de modelos UML