498 search results - page 43 / 100 » Software Metrics in Static Program Analysis |
AMAST
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
AMAST
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
121
click to vote
MSR
2005
ACM
15 years 3 months ago
2005
ACM
Most computer science educators hold strong opinions about the “right” approach to teaching introductory level programming. Unfortunately, we have comparatively little hard ev...
AOSD
2008
ACM
14 years 11 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...