Martin Schäf

2023

• Static Analysis Rule Quality Monitoring Using True Negatives
  L. Luo, R. Mukherjee, D. Sanchez, M. Schäf, O. Tripp, and Q. Zhou
  45th International Conference on Software Engineering (ICSE - SEIP), 2023
• Shifting left for early detection of machine-learning bugs
  B. Liblit, L. Luo, A. Ramirez, R. Mukherjee, Z. Patterson, G. Piskachev, M. Schäf, O. Tripp, and W. Visser
  25th international symposium in a series organized by Formal Methods Europe (FME), 2023
• Model Generation For Java Frameworks
  L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, E. Bodden, M. Schäf
  International Conference on Software Testing, Verification and Validation (ICST), 2023

2022

• Input Splitting for Cloud-Based Static Application Security Testing Platforms
  M. Christakis, T. Cottenier, A. Filieri, L. Luo, M. N. Mansur, L. Pike, N. Rosner, M. Schäf, A. Sengupta, W. Visser
  22nd ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2022

2021

• IDE Support for Cloud-Based Static Analyses
  L. Luo, M. Schäf, D. J Sanchez, and E. Bodden
  21st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021
• Rapid: Checking API usage for the cloud in the cloud
  M. Emmi, L. Hadarean, R. Jhala, L. Pike, N. Rosner, M. Schäf, A. Sengupta, W. Visser
  21st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021
• Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities
  J. Lepiller, R. Piskac, M. Schäf, M. Santolucito
  27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2021

2020

• Continuous Compliance
  M. Kellogg, M. Schäf, M. S. Tasiran, D. Ernst
  The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020.
• Verifying Object Construction
  M. Kellogg, M. Ran, M. Sridharan, M. Schäf, M. D. Ernst
  42nd International Conference on Software Engineering (ICSE), 2020.

2019

• One-Click Formal Methods
  J. Backes, P. Bolignano, B. Cook, A. Gacek, K. Luckow, N. Rungta, M. Schäf, C. Schlesinger, R. Tanash, C. Varming, M. W. Whalen
  IEEE Software 36
• JayHorn: A Java Model Checker - (Competition Contribution)
  T. Kahsai, P. Ruemmer, and M. Schäf
  International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019.

2017

• Quantified Heap Invariants for Object-Oriented Programs
  T. Kahsai, R. Kersten, Philipp Ruemmer, and M. Schäf
  21st International Conference on Logic for Programming, Artificial Intelligence, and Readoning (LPAR), 2017.
• Abduction by Non-Experts
  N. Bjørner, D. Jovanović, T. Lepoint, P. Rümmer, and M. Schäf
  21st International Conference on Logic for Programming, Artificial Intelligence, and Readoning (LPAR), 2017.

2016

• Resource Contracts for Java
  T. Kahsai, R. Kersten, and M. Schäf
  Java PathFinder Workshop 2016.
• JayHorn: A Framework for Verifying Java programs
  T. Kahsai, P. Rümmer, H. Sanchez, and M. Schäf
  28th International Conference on Computer Aided Verification (CAV), 2016.
• Classifying Bugs with Interpolants
  A. Podelski, M. Schäf, and T. Wies
  10th International Conference on Tests and Proofs (TAP), 2016.
• Multistaging to Understand: Distilling the Essence of Java Code Examples
  H. Sanchez, E. James Whitehead, and M. Schäf
  24th IEEE International Conference on Program Comprehension (ICPC), 2016.
• Detecting Similar Programs via the Weisfeiler-Leman Graph Kernel
  W. Li, H. Saidi, H. Sanchez, M. Schäf, and P. Schweitzer
  15th International Conference on Software Reuse (ICSR), 2016.
• Crowd-Sourcing Program Preconditions via a Classification Game
  D. Fava, D. Shapiro, J. Osborn, M. Schäf, and E. James Whitehead
  38th International Conference on Software Engineering (ICSE), 2016.

2015

• Finding Inconsistencies in Programs with Loops
  T. Kahsai, J. A. Navas, D. Jovanović, and M. Schäf
  20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2015.
• Gamifying Program Analysis
  D. Fava, J. Signoles, M. Lemerre, M. Schäf, and A. Tiwari
  20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2015.
• Severity Levels of Inconsistent Code
  M. Schäf, and A. Tiwari
  13th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2015.
• Non-Monotonic Program Analysis
  D. Schwartz-Narbonne, P. Rümmer, M. Schäf, A. Tiwari, and T. Wies
  Workshop on Horn Clauses for Verification and Synthesis (HCVS), 2015
• Bixie: Finding and Understanding Inconsistent Code
  T. McCarthy, P. Rümmer, M. Schäf
  37th International Conference on Software Engineering (ICSE) Demo, 2015
• VERMEER: A Tool for Tracing and Explaining Faulty C Programs
  D. Schwartz-Narbonne, C. Oh, M. Schäf, T. Wies
  37th International Conference on Software Engineering (ICSE) Demo, 2015
• Conflict-Directed Graph Coverage
  D. Schwartz-Narbonne, M. Schäf, D. Jovanović, P. Rümmer, T. Wies
  7th Nasa Formal Methods Symposium (NFM), 2015

2014

• Concolic Fault Abstraction
  C. Oh, M. Schäf, D. Schwartz-Narbonne, T. Wies
  14th IEEE International Working Conference on Software Code Analysis and Manipulation (SCAM), 2014
• Quantification of Verification Progress
  S. Arlt, J. Murray, P. Rümmer, M. Schäf
  2nd VeriSure Workshop, 2014
• Chekofv: Crowd-sourced Formal Verification
  H. Logas, F. Kirchner, J. Murray, M. Schäf, J. Whitehead
  2nd Workshop on Fun With Formal Methods (FWFM), 2014
• The Gradual Verifier
  S. Arlt, C. Rubio-González, P. Rümmer, M. Schäf, N. Shankar
  6th Nasa Formal Methods Symposium (NFM), 2014

2013

• Reconstructing Paths for Reachable Code
  S. Arlt, Z. Liu, and M. Schäf
  15th International Conference on Formal Engineering Methods (ICFEM), 2013.
• A Theory for Control-Flow Graph Exploration
  S. Arlt, P. Rümmer, and M. Schäf
  11th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2013.
• Explaining Inconsistent Code
  M. Schäf, D. Schwartz-Narbonne, T. Wies
  4th European conference on Foundations of software engineering (FSE), 2013
• Joogie: From Java through Jimple to Boogie
  S. Arlt, P. Rümmer, and M. Schäf
  International Workshop on State of the Art in Java Program analysis (SOAP), 2013
• Flow-sensitive Fault Localization
  J. Christ, E. Ermis, M. Schäf, and T. Wies
  14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2013
• Monitoring Student Activity in Collaborative Software Development
  D. Dietsch, A. Podelski, J. Nam, P. M. Papadopoulos, M. Schäf
  arXiv:1305.0787, 2013

2012

• Infeasible Code Detection
  C. Bertolini, M. Schäf, and P. Schweitzer
  4th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2012
• Error Invariants
  E. Ermis, M. Schäf, and T. Wies
  18th International Symposium on Formal Methods (FM), 2012
• Joogie: Infeasible Code Detection for Java
  S. Arlt, and M. Schäf
  24th International Conference on Computer Aided Verification (CAV), 2012
• Parameterized GUI Tests
  S. Arlt, P. Borromeo, A. Podelski, and M. Schäf
  The 24th IFIP Int. Conference on Testing Software and Systems (ICTSS), 2012
• Lightweight Static Analysis for GUI Testing
  S. Arlt, P. Borromeo, A. Podelski, and M. Schäf
  23rd annual International Symposium on Software Reliability Engineering (ISSRE), 2012
• Trends in Model-based GUI Testing
  S. Arlt, C. Bertolini, S. Pahl, and M. Schäf
  Advances in Computers, Vol. 86, 2012

2011

• Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation
  S. Arlt, C. Bertolini, and M. Schäf
  4th International Conference on Software Testing, Verification and Validation Workshops, 2012
• Slicing Abstraction using Path Formulas
  E. Ermis, J. Hoenicke, A. Podelski, and M. Schäf
  UNU-IIST Technical Report, 2011

2010 and earlier

• Doomed Program Points
  J. Hoenicke, R. K. Leino, A. Podelski, M. Schäf, and T. Wies
  Formal Methods in System Design, Vol. 37, 2011
• AutoPA: Automatic Prototyping from Requirements
  X. Li, Z. Liu, M. Schäf, and L. Yin
  3rd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2010
• It's Doomed; We Can Prove It
  J. Hoenicke, R. K. Leino, A. Podelski, M. Schäf, and T. Wies
  15th International Symposium on Formal Methods (FM), 2009