498 search results - page 35 / 100 » Software Metrics in Static Program Analysis |
141
click to vote
IWPC
2006
IEEE
15 years 8 months ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
110
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
113
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
209
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
154
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....