ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
We present views, a new approach to controlling concurrency. Fine-grained locking is often necessary to increase concurrency. Correctly implementing fine-grained locking with tod...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
The size and high rate of change of source code comprising a software system make it difficult for software developers to keep up with who on the team knows about particular parts...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
A reachability question is a search across feasible paths through a program for target statements matching search criteria. In three separate studies, we found that reachability q...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
We present an approach for describing tests using nondeterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-determinist...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
Each day, a software developer needs to answer a variety of questions that require the integration of different kinds of project information. Currently, answering these questions...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
Free and open source software (FOSS) is distributed and made available to users under different software licenses, mentioned in FOSS code by means of licensing statements. Variou...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
We performed an empirical study to characterize factors that affect which bugs get fixed in Windows Vista and Windows 7, focusing on factors related to bug report edits and relat...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
The principle goal of our research project is to improve the availability of service-oriented systems. This is especially important in systems that cross organizational boundaries...