Верификация и автоматизация тестирования UML-проектов

Конференция «Технологии Microsoft в теории и практике программирования»
Авторы:
Воинов Никита Владимирович Котляров Всеволод Павлович
Аннотация:

Рассмотрен интегрированный подход к верификации и автоматизации тестирования UML-проектов. Результаты применения разработанного подхода также представлены в работе.