BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × France
1 × Russia
1 × The Netherlands
1 × USA
2 × Italy
Collaborated with:
T.Wies D.Schwartz-Narbonne S.Arlt P.Rümmer E.Ermis C.Oh A.Podelski T.McCarthy J.Christ P.Borromeo T.Kahsai H.Sanchez J.Hoenicke K.R.M.Leino
Talks about:
code (3) inconsist (2) program (2) explain (2) local (2) fault (2) java (2) understand (1) parameter (1) framework (1)

Person: Martin Schäf

DBLP DBLP: Sch=auml=f:Martin

Contributed to:

ICSE 20152015
SCAM 20142014
ESEC/FSE 20132013
VMCAI 20132013
CAV 20122012
FM 20122012
ICTSS 20122012
FM 20092009
CAV (1) 20162016

Wrote 10 papers:

ICSE-v2-2015-McCarthyRS #comprehension #consistency #named
Bixie: Finding and Understanding Inconsistent Code (TM, PR, MS), pp. 645–648.
ICSE-v2-2015-Schwartz-Narbonne #c #named #source code
VERMEER: A Tool for Tracing and Explaining Faulty C Programs (DSN, CO, MS, TW), pp. 737–740.
SCAM-2014-OhSSW #fault #locality
Concolic Fault Localization (CO, MS, DSN, TW), pp. 135–144.
ESEC-FSE-2013-SchafSW #consistency
Explaining inconsistent code (MS, DSN, TW), pp. 521–531.
VMCAI-2013-ChristESW #fault #locality
Flow-Sensitive Fault Localization (JC, EE, MS, TW), pp. 189–208.
CAV-2012-ArltS #detection #java #named
Joogie: Infeasible Code Detection for Java (SA, MS), pp. 767–773.
FM-2012-ErmisSW #fault #invariant
Error Invariants (EE, MS, TW), pp. 187–201.
ICTSS-2012-ArltBSP #testing #user interface
Parameterized GUI Tests (SA, PB, MS, AP), pp. 247–262.
It’s Doomed; We Can Prove It (JH, KRML, AP, MS, TW), pp. 338–353.
CAV-2016-KahsaiRSS #framework #java #named #source code #verification
JayHorn: A Framework for Verifying Java programs (TK, PR, HS, MS), pp. 352–358.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.