3376 search results - page 379 / 676 » Analyzing Software Evolvability |
214
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
Many program comprehension tools use graphs to visualize and analyze source code. The main issue is that existing approaches create graphs overloaded with too much information. Gr...
159
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
156
click to vote
VMCAI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entit...
127
click to vote
APSEC
2006
IEEE
16 years 24 days ago
2006
IEEE
It is widely accepted that strong coupling such as common coupling should be used with caution among modules. Linux kernel is analyzed in terms of these common coupling instances ...
150
click to vote
IWPC
2006
IEEE
16 years 22 days ago
2006
IEEE
Current change history analysis approaches rely on information provided by versioning systems such as CVS. Therefore, changes are not related to particular source code entities su...