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

Correctness of Sensor Network Applications by Software Bounded Model Checking, and . Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, page 115--131. Springer, (2010)Bericht., , , , , and . Softwaretechnik-Trends, 43 (3): 6-9 (August 2023)Improving Non-Progress Cycle Checks, and . Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, page 50-67. Springer, (June 2009)Model-based Testing in Agile Software Development. 30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), (2010)A Full-fledged Commit Message Quality Checker Based on Machine Learning., , and . COMPSAC, page 788-799. IEEE, (2023)TAV-2021: Herausforderungen beim Testen moderner Softwaresysteme., , , , , and . GI-Jahrestagung, volume P-314 of LNI, page 1809-1812. Gesellschaft für Informatik, Bonn, (2021)Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt, , , , , and . OBJEKTspektrum, (2013)Keynote: Microservices Testen - Erfahrungsbericht und Umfrage., and . Softwaretechnik-Trends, 40 (2): 50-53 (2020)Coverage Criteria for Nondeterministic Systems. testing experience, The Magazine for Professional Testers, (September 2010)Nondeterministic Coverage Metrics as Key Performance Indicator for Model- and Value-based Testing. 31. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), (2011)