Personal information

Activities

Works (7)

Extending Data Flow Coverage to Test Constraint Refinements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022 | Book
EID:

2-s2.0-85131958030

Part of ISSN: 16113349 03029743
Contributors: Kolchin, A.; Potiyenko, S.
Source: Self-asserted source
Stepan Potiyenko via Scopus - Elsevier

Efficient increasing of the mutation score during model-based test suite generation

CEUR Workshop Proceedings
2020 | Conference paper
EID:

2-s2.0-85106739568

Part of ISSN: 16130073
Contributors: Kolchina, A.; Potiyenko, S.; Weigert, T.
Source: Self-asserted source
Stepan Potiyenko via Scopus - Elsevier

Challenges for automated, model-based test scenario generation

Communications in Computer and Information Science
2019 | Book
EID:

2-s2.0-85076846222

Part of ISSN: 18650937 18650929
Contributors: Kolchin, A.; Potiyenko, S.; Weigert, T.
Source: Self-asserted source
Stepan Potiyenko via Scopus - Elsevier

Generating Test Suites to Validate Legacy Systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
EID:

2-s2.0-85072864230

Part of ISSN: 16113349 03029743
Contributors: Weigert, T.; Kolchin, A.; Potiyenko, S.; Gurenko, O.; van den Berg, A.; Banas, V.; Chetvertak, R.; Yagodka, R.; Volkov, V.
Source: Self-asserted source
Stepan Potiyenko via Scopus - Elsevier

A method for business logic extraction from legacy COBOL code of industrial systems

CEUR Workshop Proceedings
2016 | Conference paper
EID:

2-s2.0-84983627604

Part of ISSN: 16130073
Contributors: Guba, A.; Kolchin, O.; Potiyenko, S.
Source: Self-asserted source
Stepan Potiyenko via Scopus - Elsevier

Static method of consistency and completeness checking in formal model of distributed software systems

CEUR Workshop Proceedings
2014 | Conference paper
EID:

2-s2.0-85020552469

Part of ISSN: 16130073
Contributors: Kolchin, A.; Letichevsky, A.; Potiyenko, S.
Source: Self-asserted source
Stepan Potiyenko via Scopus - Elsevier

Properties of a predicate transformer of the VRS system

Cybernetics and Systems Analysis
2010 | Journal article
EID:

2-s2.0-77956185310

Part of ISSN: 10600396 15738337
Contributors: Letichevsky, A.A.; Godlevsky, A.B.; Letychevsky Jr., A.A.; Potiyenko, S.V.; Peschanenko, V.S.
Source: Self-asserted source
Stepan Potiyenko via Scopus - Elsevier