Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем / Колчин А. В., Потиенко С. В. (2018)
Ukrainian

English  Artificial intelligence   /     Issue (2018, 2)

Kolchin A. V., Potienko S. V.
Interactive method for automated test suit development for formal models of software systems


Cite:
Kolchin, A. V., Potienko, S. V. (2018). Interactive method for automated test suit development for formal models of software systems. Artificial intelligence, 2, 51-58. http://jnas.nbuv.gov.ua/article/UJRN-0000999777 [In Russian].

 

Інститут інформаційних технологій НБУВ


+38 (044) 525-36-24
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна