Martin Schäf

Lightweight Static Analysis for GUI Testing

Stephan Arlt, Andreas Podelski, Cristiano Bertolini et al. · 2012 · 53 citations · Full text

Computing, Computer Engineering, Computer Science +17

Explaining inconsistent code

Martin Schäf, Daniel Schwartz‐Narbonne, Thomas Wies · 2013 · 21 citations

Computing, Computer Engineering, Computer Science +10

Doomed program points

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski et al. · Formal Methods in System Design · 2010 · 19 citations

Quantified Heap Invariants for Object-Oriented Programs

Temesghen Kahsai, Rody Kersten, Philipp Rümmer et al. · EPiC series in computing · 2018 · 17 citations · Full text

Computing, Computer Science, Formal Methods +14

Continuous compliance

Martin Kellogg, Martin Schäf, Serdar Taşiran et al. · 2020 · 17 citations

Business, Cybersecurity, Information Systems +17