 | 2010 |
|---|
| 7 |       | Mark Gabel,
Zhendong Su:
Online inference and enforcement of temporal properties.
ICSE (1) 2010: 15-24 |
| 6 | | Mark Gabel,
Junfeng Yang,
Yuan Yu,
Moisés Goldszmidt,
Zhendong Su:
Scalable and systematic detection of buggy inconsistencies in source code.
OOPSLA 2010: 175-190 |
| 5 | | Mark Gabel,
Zhendong Su:
A study of the uniqueness of source code.
SIGSOFT FSE 2010: 147-156 |
| 2008 |
|---|
| 4 | | Mark Gabel,
Lingxiao Jiang,
Zhendong Su:
Scalable detection of semantic clones.
ICSE 2008: 321-330 |
| 3 | | Mark Gabel,
Zhendong Su:
Symbolic mining of temporal specifications.
ICSE 2008: 51-60 |
| 2 | | Mark Gabel,
Zhendong Su:
Javert: fully automatic mining of general temporal properties from dynamic traces.
SIGSOFT FSE 2008: 339-349 |
| 2007 |
|---|
| 1 | | Mark Gabel,
Michael Haungs:
CAMP: A Common API for Measuring Performance.
LISA 2007: 49-62 |
Data released under the ODC-BY 1.0 license — See also our legal information page