| |
| 2008 | ||
|---|---|---|
| 4 | EE | Mark Gabel, Lingxiao Jiang, Zhendong Su: Scalable detection of semantic clones. ICSE 2008: 321-330 |
| 3 | EE | Mark Gabel, Zhendong Su: Symbolic mining of temporal specifications. ICSE 2008: 51-60 |
| 2 | EE | Mark Gabel, Zhendong Su: Javert: fully automatic mining of general temporal properties from dynamic traces. SIGSOFT FSE 2008: 339-349 |
| 2007 | ||
| 1 | EE | 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] |