569 search results - page 16 / 114 » A framework for source code metrics |
PDP
2005
IEEE
14 years 2 months ago
2005
IEEE
The OpenMP source code repository is based on a set of representative applications and it is supported by a web site. It is an infrastructure that we make available to the communi...
ICSM
2006
IEEE
14 years 2 months ago
2006
IEEE
Coupling in software has been linked with maintainability and existing metrics are used as predictors of external software quality attributes such as fault-proneness, impact analy...
ISSE
2010
13 years 7 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
KBSE
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. Th...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...