120
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
147
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
114
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize-such as improving the implementation of a desig...
156
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Software firms are increasingly distributing their software development effort across multiple locations. In this paper we present the results of a two year field study that inves...
129
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
202
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
118
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs t...
113
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...
93
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
124
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...