|
|
|
|
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: )
|
|