Martin Schäf

     fb  fb
Publications

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

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

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