Search Results - Potienko, S.

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Cover Image

    Methods of forward and backward symbolic modeling of systems specified by basic protocols by Potienko, S.V.

    Published 2026
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    Efficient increasing of the mutation score during model-based test suite generation by Kolchin, A., Potienko, S., Weigert, T.

    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    Efficient increasing of the mutation score during model-based test suite generation by A. Kolchin, S. Potienko, T. Weigert

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

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

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    A method of test data generation from source code of Java programs by A. V. Kolchin, S. V. Potienko

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

    Backward transformation of formulas in symbolic modeling: from the result to the source formula by Godlevsky, A.B., Potienko, S.V.

    Published 2026
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

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

    Published 2003
    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    Cover Image

    A method for business logic extraction from legacy COBOL code of industrial systems by A. A. Guba, A. V. Kolchin, S. V. Potienko

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  9. 9
    Cover Image

    A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems by A. V. Kolchin, A. A. Letichevskij, S. V. Potienko

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  10. 10
    Cover Image

    A survey of systematic methods for code-based test data generation by V. A. Volkov, A. V. Kolchin, A. A. Letichevskij, S. V. Potienko

    Published 2017
    Get full text
    Article

    Save to List
    Saved in:
  11. 11
    Cover Image

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

    Published 2003
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: