1 citations · 1 across the 4 of their papers we have counts for
4 papers
Engineering a Formally Verified Automated Bug Finder
Arthur Correnson, Dominic Steinhoefel
Symbolic execution is a program analysis technique executing programs with symbolic instead of concrete inputs. This principle allows for exploring many program paths at once. Desp…
Electronic Appendix to "Input Invariants"
Dominic Steinhöfel, Andreas Zeller
In this electronic appendix to our paper "Input Invariants," accepted at ESEC/FSE'22, we provide additional examples, formal definitions, theorems, and proof sketches to complement…
Treating for-Loops as First-Class Citizens in Proofs
Nathan Wasser, Dominic Steinhöfel
Indexed loop scopes have been shown to be a helpful tool in creating sound loop invariant rules in dynamic logic for programming languages with abrupt completion, such as Java. The…
Technical Report: Using Loop Scopes with for-Loops
Nathan Wasser, Dominic Steinhöfel
Loop scopes have been shown to be a helpful tool in creating sound loop invariant rules which do not require program transformation of the loop body. Here we extend this idea from…