Dominic Steinhöfel
Dominic Steinhöfel
Home
Publications
Projects
Teaching
Talks
Events
Posts
Contact
CV
Light
Dark
Automatic
1
Engineering a Formally Verified Automated Bug Finder
We present a formally verified symbolic executor that only finds real bugs and eventually finds all bugs in a program.
Arthur Correnson
,
Dominic Steinhöfel
PDF
Cite
DOI
Semantic Debugging
Our AVICENNA tool tells you–fully automatically–
why
your program failed. For example: “The value of the length field was greater than the length of the payload field.”
Martin Eberlein
,
Marius Smytzek
,
Dominic Steinhöfel
,
Lars Grunske
,
Andreas Zeller
PDF
Cite
DOI
Input Invariants
We present and evaluate ISLa, a constraint solver for string constraints on words from a context-free grammar.
Dominic Steinhöfel
,
Andreas Zeller
PDF
Cite
DOI
Delta-Based Verification of Software Product Families
The quest for feature- and family-oriented deductive verification of software product lines resulted in several proposals. In this …
Marco Scaletta
,
Reiner Hähnle
,
Dominic Steinhöfel
,
Richard Bubel
PDF
Certified Abstract Cost Analysis
A program containing placeholders for unspecified statements or expressions is called an abstract (or schematic) program. Placeholder …
Elvira Albert
,
Reiner Hähnle
,
Alicia Merayo
,
Dominic Steinhöfel
PDF
DOI
Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives
Dominic Steinhöfel
Cite
DOI
Safer Parallelization
Adapting sequential legacy software to parallel environments can not only save time and money, but additionally avoids the loss of …
Reiner Hähnle
,
Asmae Heydari Tabar
,
Arya Mazaheri
,
Mohammad Norouzi
,
Dominic Steinhöfel
,
Felix Wolf
Cite
DOI
REFINITY to Model and Prove Program Transformation Rules
REFINITY is a workbench for modeling statement-level transformation rules on Java programs with the aim to formally verify their …
Dominic Steinhöfel
PDF
Cite
DOI
Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules
Legacy systems are business-critical software systems whose failure can have a significant impact on the business. Yet, their …
Dominic Steinhöfel
PDF
Cite
DOI
URL
Abstract Execution
We propose a new static software analysis principle called
Abstract Execution
, generalizing Symbolic Execution: While the latter …
Dominic Steinhöfel
,
Reiner Hähnle
PDF
Cite
DOI
»
Cite
×