Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Requirements Capturing using VRS system., , , , , and . WING@ETAPS/IJCAR, volume 1 of EPiC Series in Computing, page 148-149. EasyChair, (2010)Challenges for Automated, Model-Based Test Scenario Generation., , and . ICIST, volume 1078 of Communications in Computer and Information Science, page 182-194. Springer, (2019)Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation., , and . UkrPROG, volume 2866 of CEUR Workshop Proceedings, page 331-341. CEUR-WS.org, (2020)Extending data flow coverage with redefinition analysis., , and . IDT, page 293-296. IEEE, (2021)A method for business logic extraction from legacy COBOL code of industrial systems., , and . UkrPROG, volume 1631 of CEUR Workshop Proceedings, page 17-25. CEUR-WS.org, (2016)Generating Test Suites to Validate Legacy Systems., , , , , , , , and . SAM, volume 11753 of Lecture Notes in Computer Science, page 3-23. Springer, (2019)Extending Data Flow Coverage to Test Constraint Refinements., and . IFM, volume 13274 of Lecture Notes in Computer Science, page 313-321. Springer, (2022)Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems)., , and . UkrPROG, volume 1843 of CEUR Workshop Proceedings, page 146-150. CEUR-WS.org, (2014)Generation of Multipurpose Formal Models from Legacy Code., and . UkrPROG, volume 3501 of CEUR Workshop Proceedings, page 39-48. CEUR-WS.org, (2022)