651 search results - page 29 / 131 » Precise Analysis of Java Programs Using JOANA |
106
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...
128
click to vote
IWPC
2003
IEEE
15 years 7 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
157
click to vote
CGO
2011
IEEE
14 years 5 months ago
2011
IEEE
—Many program analyses benefit, both in precision and performance, from precise pointer analysis. An important dimension of pointer analysis precision is flow-sensitivity, whic...
118
click to vote
CSMR
2000
IEEE
15 years 6 months ago
2000
IEEE
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the...
109
click to vote
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we describe the use of the Ada language for programming in modern cluster systems. The results of experimental performance analysis of Ada and Java programs in a re...