| 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 | |
| 1 | Michael Haungs | [1] |
| 2 | Lingxiao Jiang | [4] |
| 3 | Zhendong Su | [2] [3] [4] |