498 search results - page 29 / 100 » Software Metrics in Static Program Analysis |
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
111
click to vote
AGILEDC
2005
IEEE
15 years 7 months ago
2005
IEEE
It is a significant challenge to implement and research agile software development methods in organizations such as the army. Since it differs from organizations in the industry a...
109
click to vote
IFL
2005
Springer
15 years 7 months ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
134
click to vote
WCRE
2002
IEEE
15 years 6 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
Inaccurate documentation can mislead programmers and cause software to fail in unexpected ways. We examine mismatches between documented and actual error codes returned by 42 Linu...