Interactive method for automated test suit development for formal models of software systems / Kolchin, A. V., Potienko, S. V. (2018)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000999777
  Artificial intelligence  Б - 2021  /     Issue (2018, № 2)

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

Бібліографічний опис:
Колчин А. В., Потиенко С. В. Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем. Штучний інтелект. 2018. № 2. С. 51-58. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000999777

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].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209