389 search results - page 1 / 78 » Software Clustering Using Dynamic Analysis and Static Depend... |
CSMR
2009
IEEE
13 years 9 months ago
2009
IEEE
Decomposing a software system into smaller, more manageable clusters is a common approach to support the comprehension of large systems. In recent years, researchers have focused ...
APSEC
1999
IEEE
13 years 9 months ago
1999
IEEE
In this paper, we propose four slicing methods using both static and dynamic analysis information. (1) StatementMark Slice : removes the unnecessary statements using an execution ...
ICSM
2003
IEEE
13 years 10 months ago
2003
IEEE
Moving to smaller libraries can be considered as a relevant task when porting software systems to limited-resource devices (e.g., hand-helds). Library miniaturization will be part...
IFL
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
SCAM
2003
IEEE
13 years 10 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...