Результати пошуку - S. Potienko

  • Показ 1 - 11 результатів із 11
Уточнити результати
  1. 1
    Зображення обкладинки

    Methods of forward and backward symbolic modeling of systems specified by basic protocols за авторством Potienko, S.V.

    Опубліковано 2026
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    Efficient increasing of the mutation score during model-based test suite generation за авторством Kolchin, A., Potienko, S., Weigert, T.

    Опубліковано в: Проблеми програмування (2020)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    Efficient increasing of the mutation score during model-based test suite generation за авторством A. Kolchin, S. Potienko, T. Weigert

    Опубліковано 2020
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

    Interactive method for automated test suit development for formal models of software systems за авторством A. V. Kolchin, S. V. Potienko

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

    A method of test data generation from source code of Java programs за авторством A. V. Kolchin, S. V. Potienko

    Опубліковано 2016
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Backward transformation of formulas in symbolic modeling: from the result to the source formula за авторством Godlevsky, A.B., Potienko, S.V.

    Опубліковано 2026
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

    Концепция построения национальной сети широкополосного беспроводного доступа за авторством Kravchuk, S. А., Potienko, V. P., Chmil, V. М.

    Опубліковано 2003
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    A method for business logic extraction from legacy COBOL code of industrial systems за авторством A. A. Guba, A. V. Kolchin, S. V. Potienko

    Опубліковано 2016
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

    A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems за авторством A. V. Kolchin, A. A. Letichevskij, S. V. Potienko

    Опубліковано 2015
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    A survey of systematic methods for code-based test data generation за авторством V. A. Volkov, A. V. Kolchin, A. A. Letichevskij, S. V. Potienko

    Опубліковано 2017
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  11. 11
    Зображення обкладинки

    Приемо-передающий радиолокационный модуль миллиметрового диапазона длин волн за авторством Zuikov, V. A., Klochko, G. I., Kolisnichenko, M. V., Potienko, V. P., Chernyi, B. S.

    Опубліковано 2003
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: