651 search results - page 22 / 131 » Precise Analysis of Java Programs Using JOANA |
CSMR
2005
IEEE
15 years 3 months ago
2005
IEEE
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...
ECOOP
2004
Springer
15 years 2 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
The Object Relation Diagram (ORD) of a program is a class interdependence diagram which has applications in a wide variety of software engineering problems (e.g., integration test...
SEFM
2008
IEEE
15 years 3 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
SIGSOFT
1995
ACM
15 years 1 months ago
1995
ACM
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...