Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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