Martin Schäf

According to our database, Martin Schäf authored at least 47 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Model Generation For Java Frameworks.

Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

Long-term Static Analysis Rule Quality Monitoring Using True Negatives.

Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

Shifting Left for Early Detection of Machine-Learning Bugs.

Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Input splitting for cloud-based static application security testing platforms.

Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities.

Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

IDE support for cloud-based static analyses.

Linghui Luo, Martin Schäf, Daniel Sanchez, Eric Bodden

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

RAPID: checking API usage for the cloud in the cloud.

Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Continuous Compliance.

Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Verifying object construction.

Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

One-Click Formal Methods.

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

IEEE Softw., 2019

JayHorn: A Java Model Checker - (Competition Contribution).

Temesghen Kahsai, Philipp Rümmer, Martin Schäf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2017

Quantified Heap Invariants for Object-Oriented Programs.

Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf

Proceedings of the LPAR-21, 2017

Abduction by Non-Experts.

Nikolaj S. Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

2016

Resource Contracts for Java.

Rody Kersten, Martin Schäf, Temesghen Kahsai

ACM SIGSOFT Softw. Eng. Notes, 2016

Classifying Bugs with Interpolants.

Andreas Podelski, Martin Schäf, Thomas Wies

Proceedings of the Tests and Proofs - 10th International Conference, 2016

Multistaging to understand: Distilling the essence of java code examples.

Huascar Sanchez, Jim Whitehead, Martin Schäf

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel.

Wenchao Li, Hossein Saidi, Huascar Sanchez, Martin Schäf, Pascal Schweitzer

Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Crowdsourcing program preconditions via a classification game.

Daniel Fava, Daniel G. Shapiro, Joseph C. Osborn, Martin Schäf, E. James Whitehead Jr.

Proceedings of the 38th International Conference on Software Engineering, 2016

JayHorn: A Framework for Verifying Java programs.

Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Conflict-Directed Graph Coverage.

Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Finding Inconsistencies in Programs with Loops.

Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Gamifying Program Analysis.

Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

VERMEER: A Tool for Tracing and Explaining Faulty C Programs.

Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schäf, Thomas Wies

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Bixie: Finding and Understanding Inconsistent Code.

Tim McCarthy, Philipp Rümmer, Martin Schäf

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Severity Levels of Inconsistent Code.

Martin Schäf, Ashish Tiwari

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Concolic Fault Localization.

Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

The Gradual Verifier.

Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

Monitoring Student Activity in Collaborative Software Development

Daniel Dietsch, Andreas Podelski, Jaechang Nam, Pantelis M. Papadopoulos, Martin Schäf

CoRR, 2013

Flow-Sensitive Fault Localization.

Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies

Proceedings of the Verification, 2013

Explaining inconsistent code.

Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Joogie: from Java through Jimple to Boogie.

Stephan Arlt, Philipp Rümmer, Martin Schäf

Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, 2013

Reconstructing Paths for Reachable Code.

Stephan Arlt, Zhiming Liu, Martin Schäf

Proceedings of the Formal Methods and Software Engineering, 2013

A Theory for Control-Flow Graph Exploration.

Stephan Arlt, Philipp Rümmer, Martin Schäf

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Towards Bounded Infeasible Code Detection

Jürgen Christ, Jochen Hoenicke, Martin Schäf

CoRR, 2012

Grey-box GUI Testing: Efficient Generation of Event Sequences

Stephan Arlt, Ishan Banerjee, Cristiano Bertolini, Atif M. Memon, Martin Schäf

CoRR, 2012

Trends in Model-based GUI Testing.

Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf

Adv. Comput., 2012

Infeasible Code Detection.

Cristiano Bertolini, Martin Schäf, Pascal Schweitzer

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Parameterized GUI Tests.

Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski

Proceedings of the Testing Software and Systems, 2012

Lightweight Static Analysis for GUI Testing.

Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Error Invariants.

Evren Ermis, Martin Schäf, Thomas Wies

Proceedings of the FM 2012: Formal Methods, 2012

Joogie: Infeasible Code Detection for Java.

Stephan Arlt, Martin Schäf

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Static detection of inevitable errors = Statische Erkennung von unvermeidbaren Fehlern.

Martin Schäf

PhD thesis, 2011

Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation.

Stephan Arlt, Cristiano Bertolini, Martin Schäf

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Towards a Formal Integrated Model of Collaborative Healthcare Workflows.

Cristiano Bertolini, Martin Schäf, Volker Stolz

Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

2010

Doomed program points.

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies

Formal Methods Syst. Des., 2010

AutoPA: Automatic Prototyping from Requirements.

Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

It's Doomed; We Can Prove It.

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies

Proceedings of the FM 2009: Formal Methods, 2009