ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
Code reviews have proven to be an effective means of improving overall software quality. During the review, there is an exchange of knowledge between the code author and reviewer ...
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...
ICSE
2009
IEEE-ACM
13 years 11 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 ...
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
Within the field of software repository mining, it is common practice to extract change-events from source control systems and then abstract these events to allow for different a...
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
Model-Driven Engineering (MDE) has become an important development framework for many large-scale software. Previous research has reported that as in traditional code-based develo...