![]() | ![]() |
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] |