242 search results - page 18 / 49 » Measuring Similarity of Large Software Systems Based on Sour... |
JUCS
2008
13 years 8 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
TIC
2000
Springer
14 years 7 days ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Open source software is often considered to be secure. One factor in this confidence in the security of open source software lies in leveraging large developer communities to find...
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
Many software systems are developed in a number of consecutive releases. Each new release does not only add new code but also modifies already existing one. In this study we have ...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Code coverage is a common measure for quantitatively assessing the quality of software testing. Code coverage indicates the fraction of code that is actually executed by tests in ...