Martin Hentschel

15 papers A* 2B 5Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.
Int. J. Softw. Tools Technol. Transf.
Martin Hentschel, Richard Bubel, Reiner Hähnle
2016 A* conf
An empirical evaluation of two user interfaces of an interactive program verifier.
ASE
Martin Hentschel, Reiner Hähnle, Richard Bubel
2016 B conf
Can Formal Methods Improve the Efficiency of Code Reviews?
IFM
Martin Hentschel, Reiner Hähnle, Richard Bubel
2016 — ch.
Debugging and Visualization.
Deductive Software Verification
Martin Hentschel, Reiner Hähnle, Richard Bubel
2016 — ch.
Formal Specification with the Java Modeling Language.
Deductive Software Verification
Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel
2016 — ch.
Formal Verification with KeY: A Tutorial.
Deductive Software Verification
Bernhard Beckert, Reiner Hähnle, Martin Hentschel, Peter H. Schmitt
2016 — —
Integrating Symbolic Execution, Debugging and Verification.
Martin Hentschel
2016 A* conf
The interactive verification debugger: effective understanding of interactive proof attempts.
ASE
Martin Hentschel, Reiner Hähnle, Richard Bubel
2016 — conf
Variability Hiding in Contracts for Dependent Software Product Lines.
VaMoS
Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, Stefan Krüger
2014 B conf
An Interactive Verification Tool Meets an IDE.
IFM
Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel
2014 B conf
Potential synergies of theorem proving and model checking for software product lines.
SPLC
Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake
2014 B conf
Symbolic Execution Debugger (SED).
RV
Martin Hentschel, Richard Bubel, Reiner Hähnle
2014 — conf
The KeY Platform for Verification and Analysis of Java Programs.
VSTTE
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
2014 — conf
Visualizing Unbounded Symbolic Execution.
TAP@STAF
Martin Hentschel, Reiner Hähnle, Richard Bubel
2012 B conf
Family-based deductive verification of software product lines.
GPCE
Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel