|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 9 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su |
Scalable and systematic detection of buggy inconsistencies in source code.  |
OOPSLA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Gabel, Zhendong Su |
Online inference and enforcement of temporal properties. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
online algorithm, dynamic analysis, temporal properties |
| 1 | Mark Gabel, Zhendong Su |
A study of the uniqueness of source code. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Gabel, Lingxiao Jiang, Zhendong Su |
Scalable detection of semantic clones. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
software maintenance, refactoring, clone detection, program dependence graph |
| 1 | Mark Gabel, Zhendong Su |
Symbolic mining of temporal specifications. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
formal specifications, dynamic analysis, specification mining |
| 1 | Mark Gabel, Zhendong Su |
Javert: fully automatic mining of general temporal properties from dynamic traces. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
formal specifications, dynamic analysis, specification mining |
| 1 | Mark Gabel, Michael Haungs |
CAMP: A Common API for Measuring Performance. |
LISA |
2007 |
DBLP BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")