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

Test case generation in practice for communicating embedded systems., and . Elektrotechnik und Informationstechnik, 128 (6): 240-244 (2011)MEMS-based lidar for autonomous driving., , , , , , and . Elektrotechnik und Informationstechnik, 135 (6): 408-415 (2018)A Systematic Empirical Analysis of Forging Fingerprints to Fool Biometric Systems., and . IJSSE, 2 (1): 40-83 (2011)Generation of executable test cases based on behavioral UML system models., and . AST, page 31-34. ACM, (2010)Static- and Dynamic Consistency Analysis of UML State Chart Models., and . MoDELS (1), volume 6394 of Lecture Notes in Computer Science, page 151-165. Springer, (2010)From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation., , and . QSIC, page 173-178. IEEE Computer Society, (2009)Model Dependent Test Coverage Variabilities., and . ICST, page 253-262. IEEE Computer Society, (2014)Suitability analysis of CSP- and SMT-solvers for test case generation., and . CSTVA, page 40-49. ACM, (2014)Compositional Random Testing Using Extended Symbolic Transition Systems., , and . ICTSS, volume 7019 of Lecture Notes in Computer Science, page 179-194. Springer, (2011)Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems., and . QSIC, page 122-131. IEEE Computer Society, (2010)