613 search results - page 12 / 123 » Executable Visual Contracts |
IPPS
2007
IEEE
14 years 4 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...
IWPC
2008
IEEE
14 years 4 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...
VIZSEC
2004
Springer
14 years 3 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...
WCRE
2010
IEEE
13 years 8 months 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
13 years 8 months 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...