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: Sch=auml=f:Martin
Contributed to:
2015
2014
2013
2013
2012
2012
201220092016Wrote 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.
- FM-2009-HoenickeLPSW
- 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.