Showing 1 - 7 results of 7 for search 'S. Potienko', query time: 0.01s Refine Results
  1. 1
    Efficient increasing of the mutation score during model-based test suite generation
    by Kolchin, A., Potienko, S., Weigert, T.
    Published 2020
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    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:
  3. 3
    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:
  4. 4
    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:
  5. 5
    A method for business logic extraction from legacy COBOL code of industrial systems
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    A survey of systematic methods for code-based test data generation
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search