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 × Germany
1 × South Africa
1 × Switzerland
4 × USA
Collaborated with:
Z.Su L.Jiang A.Hindle E.T.Barr P.T.Devanbu J.Yang Y.Yu M.Goldszmidt
Talks about:
tempor (3) mine (3) properti (2) scalabl (2) specif (2) detect (2) sourc (2) code (2) inconsist (1) systemat (1)

Person: Mark Gabel

DBLP DBLP: Gabel:Mark

Contributed to:

FSE 20122012
ICSE 20122012
FSE 20102010
ICSE 20102010
OOPSLA 20102010
FSE 20082008
ICSE 20082008

Wrote 8 papers:

FSE-2012-GabelS #specification #testing
Testing mined specifications (MG, ZS), p. 4.
ICSE-2012-HindleBSGD #on the
On the naturalness of software (AH, ETB, ZS, MG, PTD), pp. 837–847.
FSE-2010-GabelS #case study #source code
A study of the uniqueness of source code (MG, ZS), pp. 147–156.
ICSE-2010-GabelS #online
Online inference and enforcement of temporal properties (MG, ZS), pp. 15–24.
OOPSLA-2010-GabelYYGS #consistency #detection #nondeterminism #scalability #source code
Scalable and systematic detection of buggy inconsistencies in source code (MG, JY, YY, MG, ZS), pp. 175–190.
FSE-2008-GabelS #automation #mining #named
Javert: fully automatic mining of general temporal properties from dynamic traces (MG, ZS), pp. 339–349.
ICSE-2008-GabelJS #detection #scalability #semantics
Scalable detection of semantic clones (MG, LJ, ZS), pp. 321–330.
ICSE-2008-GabelS #mining #specification
Symbolic mining of temporal specifications (MG, ZS), pp. 51–60.

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.