From post

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.

 

Другие публикации лиц с тем же именем

Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences., , и . SAFECOMP, том 6894 из Lecture Notes in Computer Science, стр. 270-283. Springer, (2011)Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems., , и . FMCO, том 6286 из Lecture Notes in Computer Science, стр. 186-207. Springer, (2009)A Process to Facilitate Automated Automotive Cybersecurity Testing., , , , , , , , и . VTC Spring, стр. 1-7. IEEE, (2021)Killing strategies for model-based mutation testing., , , , , и . Softw. Test. Verification Reliab., 25 (8): 716-748 (2015)MoMuT - Eine Transfer-Geschichte über modellbasiertes Testen.. SE, том P-300 из LNI, стр. 195-200. Gesellschaft für Informatik e.V., (2020)Integration of Requirements Engineering and Test-Case Generation via OSLC., , , , , , и . QSIC, стр. 117-126. IEEE, (2014)Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper., , , , , , , , , и 3 other автор(ы). SAMOS, том 13227 из Lecture Notes in Computer Science, стр. 368-382. Springer, (2021)Model-Based Mutation Testing of an Industrial Measurement Device., , , , , , и . TAP@STAF, том 8570 из Lecture Notes in Computer Science, стр. 1-19. Springer, (2014)Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems., , , , и . SAFECOMP Workshops, том 13415 из Lecture Notes in Computer Science, стр. 35-46. Springer, (2022)The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security., , , , , , , , , и 6 other автор(ы). DSD, стр. 352-359. IEEE, (2020)