Показ 1 - 5 результатів із 5 для пошуку 'S. V. Potienko', час виконання запиту: 0.00сек. Уточнити результати
  1. 1
    Interactive method for automated test suit development for formal models of software systems
    за авторством A. V. Kolchin, S. V. Potienko
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  2. 2
    A method of test data generation from source code of Java programs
    за авторством A. V. Kolchin, S. V. Potienko
    Опубліковано 2016
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  3. 3
    A method for business logic extraction from legacy COBOL code of industrial systems
    за авторством A. A. Guba, A. V. Kolchin, S. V. Potienko
    Опубліковано 2016
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  4. 4
    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
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  5. 5
    A survey of systematic methods for code-based test data generation
    за авторством V. A. Volkov, A. V. Kolchin, A. A. Letichevskij, S. V. Potienko
    Опубліковано 2017
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою