Treffer 1 - 5 von 5 für Suche 'S. V. Potienko', Suchdauer: 0,01s Treffer weiter einschränken
  1. 1
    Interactive method for automated test suit development for formal models of software systems
    von A. V. Kolchin, S. V. Potienko
    Veröffentlicht 2018
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 2
    A method of test data generation from source code of Java programs
    von A. V. Kolchin, S. V. Potienko
    Veröffentlicht 2016
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  3. 3
    A method for business logic extraction from legacy COBOL code of industrial systems
    von A. A. Guba, A. V. Kolchin, S. V. Potienko
    Veröffentlicht 2016
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  4. 4
    A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
    von A. V. Kolchin, A. A. Letichevskij, S. V. Potienko
    Veröffentlicht 2015
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  5. 5
    A survey of systematic methods for code-based test data generation
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden