613 search results - page 12 / 123 » Executable Visual Contracts |
100
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
To use heterogeneous and geographically distributed resources as a platform for parallel visualization is an intriguing topic of research. This is because of the immense potential...
110
click to vote
IWPC
2008
IEEE
15 years 8 months ago
2008
IEEE
To support understanding a specific GUI functionality in a program, we propose a visualization technique that presents the correspondence between the screens before and after the...
124
Voted
VIZSEC
2004
Springer
15 years 7 months ago
2004
Springer
This paper concentrates on visualizing computer viruses without using virus specific signature information as a prior stage of the very important problem of detecting computer vi...
163
click to vote
WCRE
2010
IEEE
15 years 15 days ago
2010
IEEE
—We present a semi-automated approach for the reverse engineering of UML sequence diagrams. Our approach starts with a set of execution traces that are automatically aligned in o...
KBSE
2010
IEEE
15 years 17 days ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...