Martin Schäf

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 20

Top Venues

University of Freiburg, Germany (PHD)

Education History

University of Freiburg, Germany

PHD

Publications

Wen-Hao Chiang, Peixuan Li, Qiang Zhou, Subarno Banerjee, Martin Schäf, Yingjun Lyu, Hoan Nguyen, Omer Tripp
Inference for Ever-Changing Policy of Taint Analysis. ICSE-SEIP (2024)
Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser
Shifting Left for Early Detection of Machine-Learning Bugs. FM (2023)
Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf
Model Generation For Java Frameworks. ICST (2023)
Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez
Long-term Static Analysis Rule Quality Monitoring Using True Negatives. ICSE-SEIP (2023)
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE (2022)
Linghui Luo, Martin Schäf, Daniel Sanchez, Eric Bodden
IDE support for cloud-based static analyses. ESEC/SIGSOFT FSE (2021)
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
RAPID: checking API usage for the cloud in the cloud. ESEC/SIGSOFT FSE (2021)
Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. TACAS (2) (2021)
Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst
Continuous Compliance. ASE (2020)
Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst
Verifying object construction. ICSE (2020)
John Backes, Pauline Bolignano, Byron Cook, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Martin Schäf, Cole Schlesinger, Rima Tanash, Carsten Varming, Michael W. Whalen
One-Click Formal Methods. IEEE Softw. 36 (6) (2019)
Temesghen Kahsai, Philipp Rümmer, Martin Schäf
JayHorn: A Java Model Checker - (Competition Contribution). TACAS (3) (2019)
Nikolaj Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf
Abduction by Non-Experts. LPAR (Short Presentations) (2017)
Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf
Quantified Heap Invariants for Object-Oriented Programs. LPAR (2017)
Andreas Podelski, Martin Schäf, Thomas Wies
Classifying Bugs with Interpolants. TAP@STAF (2016)
Wenchao Li, Hossein Saidi, Huascar Sanchez, Martin Schäf, Pascal Schweitzer
Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. ICSR (2016)
Huascar Sanchez, Jim Whitehead, Martin Schäf
Multistaging to understand: Distilling the essence of java code examples. ICPC (2016)
Rody Kersten, Martin Schäf, Temesghen Kahsai
Resource Contracts for Java. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf
JayHorn: A Framework for Verifying Java programs. CAV (1) (2016)
Daniel Fava, Daniel G. Shapiro, Joseph C. Osborn, Martin Schäf, E. James Whitehead Jr.
Crowdsourcing program preconditions via a classification game. ICSE (2016)
Martin Schäf, Ashish Tiwari
Severity Levels of Inconsistent Code. ATVA (2015)
Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari
Gamifying Program Analysis. LPAR (2015)
Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf
Finding Inconsistencies in Programs with Loops. LPAR (2015)
Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schäf, Thomas Wies
VERMEER: A Tool for Tracing and Explaining Faulty C Programs. ICSE (2) (2015)
Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies
Conflict-Directed Graph Coverage. NFM (2015)
Tim McCarthy, Philipp Rümmer, Martin Schäf
Bixie: Finding and Understanding Inconsistent Code. ICSE (2) (2015)
Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar
The Gradual Verifier. NASA Formal Methods (2014)
Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies
Concolic Fault Localization. SCAM (2014)
Stephan Arlt, Zhiming Liu, Martin Schäf
Reconstructing Paths for Reachable Code. ICFEM (2013)
Stephan Arlt, Philipp Rümmer, Martin Schäf
Joogie: from Java through Jimple to Boogie. SOAP@PLDI (2013)
Daniel Dietsch, Andreas Podelski, Jaechang Nam, Pantelis M. Papadopoulos, Martin Schäf
Monitoring Student Activity in Collaborative Software Development CoRR (2013)
Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies
Explaining inconsistent code. ESEC/SIGSOFT FSE (2013)
Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies
Flow-Sensitive Fault Localization. VMCAI (2013)
Stephan Arlt, Philipp Rümmer, Martin Schäf
A Theory for Control-Flow Graph Exploration. ATVA (2013)
Evren Ermis, Martin Schäf, Thomas Wies
Error Invariants. FM (2012)
Stephan Arlt, Ishan Banerjee, Cristiano Bertolini, Atif M. Memon, Martin Schäf
Grey-box GUI Testing: Efficient Generation of Event Sequences CoRR (2012)
Stephan Arlt, Martin Schäf
Joogie: Infeasible Code Detection for Java. CAV (2012)
Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf
Trends in Model-based GUI Testing. Adv. Comput. 86 (2012)
Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski
Parameterized GUI Tests. ICTSS (2012)
Cristiano Bertolini, Martin Schäf, Pascal Schweitzer
Infeasible Code Detection. VSTTE (2012)
Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon
Lightweight Static Analysis for GUI Testing. ISSRE (2012)
Jürgen Christ, Jochen Hoenicke, Martin Schäf
Towards Bounded Infeasible Code Detection CoRR (2012)
Stephan Arlt, Cristiano Bertolini, Martin Schäf
Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. ICST Workshops (2011)
Cristiano Bertolini, Martin Schäf, Volker Stolz
Towards a Formal Integrated Model of Collaborative Healthcare Workflows. FHIES (2011)
Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin
AutoPA: Automatic Prototyping from Requirements. ISoLA (1) (2010)
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
Doomed program points. Formal Methods Syst. Des. 37 (2-3) (2010)
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
It's Doomed; We Can Prove It. FM (2009)

Martin Schäf.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Schäf