Martin Schäf
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2017
- [c29]Nikolaj Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf:
Abduction by Non-Experts. IWIL@LPAR 2017 - [c28]Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf:
Quantified Heap Invariants for Object-Oriented Programs. LPAR 2017: 368-384 - 2016
- [j3]Rody Kersten, Martin Schäf, Temesghen Kahsai:
Resource Contracts for Java. ACM SIGSOFT Software Engineering Notes 41(6): 1-5 (2016) - [c27]Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf:
JayHorn: A Framework for Verifying Java programs. CAV (1) 2016: 352-358 - [c26]Daniel Fava, Dan Shapiro, Joseph C. Osborn, Martin Schäf, E. James Whitehead Jr.:
Crowdsourcing program preconditions via a classification game. ICSE 2016: 1086-1096 - [c25]Wenchao Li, Hossein Saidi, Huascar Sanchez, Martin Schäf, Pascal Schweitzer:
Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. ICSR 2016: 315-330 - [c24]Huascar Sanchez, Jim Whitehead, Martin Schäf:
Multistaging to understand: Distilling the essence of java code examples. ICPC 2016: 1-10 - [c23]
- 2015
- [c22]
- [c21]Tim McCarthy, Philipp Rümmer, Martin Schäf:
Bixie: Finding and Understanding Inconsistent Code. ICSE (2) 2015: 645-648 - [c20]Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schäf, Thomas Wies:
VERMEER: A Tool for Tracing and Explaining Faulty C Programs. ICSE (2) 2015: 737-740 - [c19]Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf:
Finding Inconsistencies in Programs with Loops. LPAR 2015: 499-514 - [c18]Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari:
Gamifying Program Analysis. LPAR 2015: 591-605 - [c17]Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies:
Conflict-Directed Graph Coverage. NFM 2015: 327-342 - 2014
- [c16]Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar:
The Gradual Verifier. NASA Formal Methods 2014: 313-327 - [c15]Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies:
Concolic Fault Localization. SCAM 2014: 135-144 - 2013
- [c14]Stephan Arlt, Philipp Rümmer, Martin Schäf:
A Theory for Control-Flow Graph Exploration. ATVA 2013: 506-515 - [c13]Stephan Arlt, Zhiming Liu, Martin Schäf:
Reconstructing Paths for Reachable Code. ICFEM 2013: 431-446 - [c12]Stephan Arlt, Philipp Rümmer, Martin Schäf:
Joogie: from Java through Jimple to Boogie. SOAP@PLDI 2013: 3-8 - [c11]Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies:
Explaining inconsistent code. ESEC/SIGSOFT FSE 2013: 521-531 - [c10]Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies:
Flow-Sensitive Fault Localization. VMCAI 2013: 189-208 - [i3]Daniel Dietsch, Andreas Podelski, Jaechang Nam, Pantelis M. Papadopoulos, Martin Schäf:
Monitoring Student Activity in Collaborative Software Development. CoRR abs/1305.0787 (2013) - 2012
- [j2]Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf:
Trends in Model-based GUI Testing. Advances in Computers 86: 183-222 (2012) - [c9]
- [c8]
- [c7]Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon:
Lightweight Static Analysis for GUI Testing. ISSRE 2012: 301-310 - [c6]Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski:
Parameterized GUI Tests. ICTSS 2012: 247-262 - [c5]Cristiano Bertolini, Martin Schäf, Pascal Schweitzer:
Infeasible Code Detection. VSTTE 2012: 310-325 - [i2]Stephan Arlt, Ishan Banerjee, Cristiano Bertolini, Atif M. Memon, Martin Schäf:
Grey-box GUI Testing: Efficient Generation of Event Sequences. CoRR abs/1205.4928 (2012) - [i1]Jürgen Christ, Jochen Hoenicke, Martin Schäf:
Towards Bounded Infeasible Code Detection. CoRR abs/1205.6527 (2012) - 2011
- [b1]Martin Schäf:
Static detection of inevitable errors = Statische Erkennung von unvermeidbaren Fehlern. University of Freiburg, Germany 2011 - [c4]Cristiano Bertolini, Martin Schäf, Volker Stolz:
Towards a Formal Integrated Model of Collaborative Healthcare Workflows. FHIES 2011: 57-74 - [c3]Stephan Arlt, Cristiano Bertolini, Martin Schäf:
Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. ICST Workshops 2011: 222-231 - 2010
- [j1]Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies:
Doomed program points. Formal Methods in System Design 37(2-3): 171-199 (2010) - [c2]Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin:
AutoPA: Automatic Prototyping from Requirements. ISoLA (1) 2010: 609-624
2000 – 2009
- 2009
- [c1]Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies:
It's Doomed; We Can Prove It. FM 2009: 338-353
Coauthor Index
last updated on 2019-02-14 22:55 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint