UML Validation Suite

BIB
Brockmeyer, Udo and Klose, Jochen and Lettrari, Marc
Proceedings of FATES'01 - Formal Approaches to Testing of Software
01 / 2001
1
inproceedings