Suchergebnisse - Kolchin, A.

  • Treffer 1 - 5 von 5
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Interactive method for cumulative analysis of software formal models behavior von Kolchin, A.

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    A method for guided search and test scenarios generation in verification of formal models of asynchronous systems von Kolchin, A.V.

    Veröffentlicht in PROBLEMS IN PROGRAMMING (2026)
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

    Test scenarios generation based on formal model von Letichevsky, A.A., Kolchin, A.V.

    Veröffentlicht in PROBLEMS IN PROGRAMMING (2026)
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: