Login / Signup
Dominic Steinhöfel
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 22
Top Topics
Transformation Rules
Symbolic Execution
Software Testing
Affine Invariant
Top Venues
CoRR
ESEC/SIGSOFT FSE
J. Autom. Reason.
Software Engineering
</>
Publications
</>