ICER: a tool for finding errors in a UML model.

Wuwei Shen, Dae-Kyoo Kim

Browse the full SAC paper archive.