|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Thomas Zimmermann, Andreas Zeller |
Visualizing Memory Graphs.  |
Software Visualization  |
2001 |
DBLP DOI BibTeX RDF |
data types and structures, graphs, program understanding, diagnostics, debugging aids |
| 1 | Dorina Ghindici, Isabelle Simplot-Ryl, Jean-Marc Talbot |
A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Changhee Jung, Nathan Clark |
DDT: design and evaluation of a dynamic program analysis for optimizing data structure usage. |
MICRO |
2009 |
DBLP DOI BibTeX RDF |
data structure identification, interface functions, memory graphs |
| 1 | Koushik Sen, Darko Marinov, Gul Agha |
CUTE: a concolic unit testing engine for C. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
data structure testing, explicit path model-checking, random testing, unit testing, testing C programs, concolic testing |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")