Author of the publication

Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware : Modellkomposition zur Nutzung der funktionalen Verifikation

. Universität Stuttgart, Düren, Dissertation, (2019)

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

Die inferenzbasierte Softwareentwicklungsumgebung NORA., , , , and . Inform., Forsch. Entwickl., 9 (3): 116-131 (1994)Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking., , , , and . IEEE Trans. Software Eng., 41 (10): 1019-1037 (2015)Introduction: The Best Papers of ISSTA., and . IEEE Trans. Software Eng., 36 (4): 451-452 (2010)Open-Source-Programmierwerkzeuge - Versionskontrolle, Konstruktion, Testen, Fehlersuche (2. Aufl.)., and . dpunkt.verlag, (2004)Search-based system testing: high coverage, no false alarms., , and . ISSTA, page 67-77. ACM, (2012)Lightweight Defect Localization for Java., , and . ECOOP, volume 3586 of Lecture Notes in Computer Science, page 528-550. Springer, (2005)WebMate: Generating Test Cases for Web 2.0., , , and . SWQD, volume 133 of Lecture Notes in Business Information Processing, page 55-69. Springer, (2013)Test complement exclusion: guarantees from dynamic analysis.. ICPC, page 1-2. IEEE Computer Society, (2015)Mining Temporal Specifications from Object Usage., and . ASE, page 295-306. IEEE Computer Society, (2009)Mining Version Histories to Guide Software Changes., , , and . IEEE Trans. Software Eng., 31 (6): 429-445 (2005)