Stepan Potiyenko

Orcid: 0000-0001-9462-599X

According to our database1, Stepan Potiyenko authored at least 11 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Improving Model-Based Testing Through Interactive Validation, Evaluation and Reconstruction of Test Cases.
Proceedings of the Quality of Information and Communications Technology, 2024

Increasing The Thoroughness Of Data Flow Testing With The Required k-Use Chains.
Proceedings of the 2024 10th International Conference on Computer Technology Applications, 2024

2022
Generation of Multipurpose Formal Models from Legacy Code.
Proceedings of the 13th International Scientific and Practical Programming Conference, 2022

Extending Data Flow Coverage to Test Constraint Refinements.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021
Extending data flow coverage with redefinition analysis.
Proceedings of the International Conference on Information and Digital Technologies, 2021

2020
Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation.
Proceedings of the 12th International Scientific and Practical Conference of Programming (UkrPROG 2020), 2020

2019
Generating Test Suites to Validate Legacy Systems.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019

Challenges for Automated, Model-Based Test Scenario Generation.
Proceedings of the Information and Software Technologies - 25th International Conference, 2019

2016
A method for business logic extraction from legacy COBOL code of industrial systems.
Proceedings of the 10th International Conference of Programming UkrPROG'2016, Kyiv, 2016

2014
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems).
Proceedings of the 9th International Conference of Programming, Kyiv, 2014

2010
Formal Requirements Capturing using VRS system.
Proceedings of the Second International Workshop on Invariant Generation, 2010


  Loading...