SIGSOFT
2007
ACM
15 years 1 months ago
2007
ACM
SIGSOFT
2007
ACM
15 years 1 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...
SIGSOFT
2007
ACM
15 years 1 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...
SIGSOFT
2007
ACM
15 years 1 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...
SIGSOFT
2007
ACM
15 years 1 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...
SIGSOFT
2007
ACM
15 years 1 months ago
2007
ACM
SIGSOFT
2007
ACM
15 years 1 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...
SIGSOFT
2007
ACM
15 years 1 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...
SIGSOFT
2007
ACM
15 years 1 months ago
2007
ACM
SIGSOFT
2007
ACM
15 years 1 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 ...