785 search results - page 46 / 157 » Static Analysis of Android Programs |
118
click to vote
WCRE
2008
IEEE
15 years 8 months ago
2008
IEEE
Applying program comprehension techniques may render software maintenance and evolution easier. Understanding a software system typically requires a combination of static and dyna...
124
click to vote
WCRE
2006
IEEE
15 years 8 months ago
2006
IEEE
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...
116
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
116
click to vote
PPPJ
2006
ACM
15 years 8 months ago
2006
ACM
Concept assignment identifies units of source code that are functionally related, even if this is not apparent from a syntactic point of view. Until now, the results of concept a...
126
Voted
CC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...