Sciweavers

SIGSOFT
2010
ACM
13 years 1 months ago
Future of developer testing: building quality in code
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo...
JUCS
2002
101views more  JUCS 2002»
13 years 3 months ago
Descriptional Complexity of Machines with Limited Resources
: Over the last 30 years or so many results have appeared on the descriptional complexity of machines with limited resources. Since these results have appeared in a variety of diff...
Jonathan Goldstine, Martin Kappes, Chandra M. R. K...
DICS
2006
13 years 5 months ago
Dependable Software
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...
Bertrand Meyer
PRDC
2000
IEEE
13 years 7 months ago
Effects of failure correlation on software in operation
Since the early 1970's a number of models have been proposed for estimating software reliability. However, the realism of many of the underlying assumptions and the applicabi...
Katerina Goseva-Popstojanova, Kishor S. Trivedi
COMPSAC
2004
IEEE
13 years 7 months ago
Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags
Software reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment. Over the past 30 years, many softw...
Chin-Yu Huang, Chu-Ti Lin, Sy-Yen Kuo, Michael R. ...
PRDC
1999
IEEE
13 years 8 months ago
An Architecture-Based Software Reliability Model
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
Wen-Li Wang, Ye Wu, Mei-Hwa Chen
CPE
2000
Springer
292views Hardware» more  CPE 2000»
13 years 8 months ago
SREPT: Software Reliability Estimation and Prediction Tool
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
Srinivasan Ramani, Kishor S. Trivedi
COMPSAC
2002
IEEE
13 years 8 months ago
The Method of Software Reliability Growth Models Choice Using Assumptions Matrix
The method of choice of the software reliability models based on the analysis of assumptions and compatibility both input and output parameters is offered. This method is illustra...
Vyacheslav S. Kharchenko, O. M. Tarasyuk, Vladimir...
ISSRE
2003
IEEE
13 years 9 months ago
Assessing Uncertainty in Reliability of Component-Based Software Systems
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...
Katerina Goseva-Popstojanova, Sunil Kamavaram
EUROMICRO
2003
IEEE
13 years 9 months ago
A General Model for Component-Based Software Reliability
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...
Mao Xiaoguang, Deng Yongjin