KVEST: Automated Generation of Test Suites from Formal Specifications.

KVEST: Automated Generation of Test Suites from Formal Specifications.

Авторы

I.Burdonov, A.Kossatchev, A.Petrenko, D.Galter.

Издание

Proceedings of Formal Method Congress, Toulouse, France, 1999, LNCS, No. 1708, pp.608-621.

Научная группа

Технологии программирования

Все публикации за 1999 год Все публикации