ISSTA 2025
Wed 25 - Sat 28 June 2025 Trondheim, Norway
Dominic Steinhöfel

Registered user since Wed 5 Oct 2022

Name:Dominic Steinhöfel

I am a postdoctoral researcher of computer science at CISPA Helmholtz Center for Information Security, working in the research group of Andreas Zeller. My research focuses on languages, techniques, and tools for increasing confidence in software correctness. To this end, I work on testing and program proving approaches and design specification languages for the unit and system level. As part of my research, I contributed Abstract Execution, an automatic verification framework mainly for unit-level program transformations, and ISLa, a language and solver for complex string constraints for the precise testing and analysis of software systems.

Affiliation:CISPA Helmholtz Center for Information Security
Research interests:Fuzzing, Specification Languages, Specification Inference, Formal Methods, Formal Languages, Symbolic Execution


Show activities from other conferences

Using general profile