Ppulo: a tool for debugging UML models.

Lidia Fuentes, Jorge Manrique, Pablo Snchez

Browse the full ICSE paper archive.