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

Using Graph Transformation for Practical Model Driven Software Engineering, , , , , and . page 91-118. Springer, (2005)Design by Contract Revisited in the Context of Scientific Data Analysis Workflows., , , , , and . e-Science, page 1-2. IEEE, (2023)A comprehensive empirical evaluation of generating test suites for mobile applications with diversity - Summary., , and . Software Engineering, volume P-332 of LNI, page 121-122. Gesellschaft für Informatik e.V., (2023)MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools., , , and . Software Engineering, volume P-310 of LNI, page 81-82. Gesellschaft für Informatik e.V., (2021)Concolic program repair., , , and . PLDI, page 390-405. ACM, (2021)Does Diversity Improve the Test Suite Generation for Mobile Applications?, , and . SSBSE, volume 11664 of Lecture Notes in Computer Science, page 58-74. Springer, (2019)Challenges for verifying and validating scientific software in computational materials science., , , , and . SE4Science@ICSE, page 25-32. IEEE / ACM, (2019)Formal Synthesis of Uncertainty Reduction Controllers., , , , , and . SEAMS@ICSE, page 2-13. ACM, (2024)A user study for evaluation of formal verification results and their explanation at Bosch., , , and . Empir. Softw. Eng., 28 (5): 125 (October 2023)VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python., , , , and . Inf. Softw. Technol., (2022)