16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05)

8-11 Nov. 2005

Filter Results

Displaying Results 1 - 25 of 47
  • Proceedings. 16th IEEE International Symposium on Software Reliability Engineering

    Publication Year: 2005, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (221 KB)
    Freely Available from IEEE
  • 16th IEEE International Symposium on Software Reliability Engineering - Title Page

    Publication Year: 2005, Page(s):i - iii
    Request permission for commercial reuse | PDF file iconPDF (84 KB)
    Freely Available from IEEE
  • 16th IEEE International Symposium on Software Reliability Engineering - Copyright Page

    Publication Year: 2005, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (35 KB)
    Freely Available from IEEE
  • 16th IEEE International Symposium on Software Reliability Engineering - Table of contents

    Publication Year: 2005, Page(s):v - viii
    Request permission for commercial reuse | PDF file iconPDF (59 KB)
    Freely Available from IEEE
  • Welcome from the General Co-Chairs

    Publication Year: 2005, Page(s): ix
    Request permission for commercial reuse | PDF file iconPDF (91 KB) | HTML iconHTML
    Freely Available from IEEE
  • Welcome from the Program Committee Co-Chairs

    Publication Year: 2005, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (93 KB) | HTML iconHTML
    Freely Available from IEEE
  • Organizing Committee

    Publication Year: 2005, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (87 KB)
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2005, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (82 KB)
    Freely Available from IEEE
  • How Should Software Reliability Engineering Be Taught?

    Publication Year: 2005, Page(s): 3
    Request permission for commercial reuse | PDF file iconPDF (39 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Teaching SRE to software practitioners

    Publication Year: 2005, Page(s):1 pp. - 4
    Request permission for commercial reuse | PDF file iconPDF (45 KB)
    Freely Available from IEEE
  • Teaching an active-participation university course in software reliability and testing

    Publication Year: 2005, Page(s):1 pp. - 5
    Request permission for commercial reuse | PDF file iconPDF (43 KB)
    Freely Available from IEEE
  • Software development SRE needs

    Publication Year: 2005, Page(s):1 pp. - 6
    Request permission for commercial reuse | PDF file iconPDF (43 KB)
    Freely Available from IEEE
  • Teaching SRE in a diverse graduate student context

    Publication Year: 2005, Page(s):1 pp. - 7
    Request permission for commercial reuse | PDF file iconPDF (41 KB)
    Freely Available from IEEE
  • Designing an SRE program for commercial software organizations

    Publication Year: 2005, Page(s):1 pp. - 8
    Request permission for commercial reuse | PDF file iconPDF (43 KB)
    Freely Available from IEEE
  • Benchmarking the dependability of Windows and Linux using PostMark/spl trade/ workloads

    Publication Year: 2005, Page(s):10 pp. - 20
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1252 KB) | HTML iconHTML

    This paper presents a dependability benchmark for general-purpose operating systems and its application to six versions of Windows operating system and four versions of Linux operating system. The benchmark measures are: operating system robustness (as regards possible erroneous inputs provided by the application software to the operating system via the application programming interface), reaction... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Safety analysis of software product lines using state-based modeling

    Publication Year: 2005, Page(s):10 pp. - 30
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (205 KB) | HTML iconHTML

    The analysis and management of variations (such as optional features) are central to the development of safety-critical, software product lines. However, the difficulty of managing variations, and the potential interactions among them, across an entire product line currently hinders safety analysis in such systems. The work described here contributes to a solution by integrating safety analysis of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Helping end-users "engineer" dependable Web applications

    Publication Year: 2005, Page(s):10 pp. - 40
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (426 KB) | HTML iconHTML

    End-user programmers are increasingly relying on Web authoring environments to create Web applications. Although often consisting primarily of Web pages, such applications are increasingly going further, harnessing the content available on the Web through "programs" that query other Web applications for information to drive other tasks. Unfortunately, errors can be pervasive in Web applications, i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Large empirical case study of architecture-based software reliability

    Publication Year: 2005, Page(s):10 pp. - 52
    Cited by:  Papers (21)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (250 KB) | HTML iconHTML

    In this paper we present an empirical study of architecture-based software reliability based on a large open source application which consists of 350,000 lines of C code. The goals of our study are to analyze empirically the adequacy, applicability, and accuracy of architecture-based software reliability models. For this purpose we developed innovative approaches to efficiently extract and more ac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Error propagation in the reliability analysis of component based systems

    Publication Year: 2005, Page(s):10 pp. - 62
    Cited by:  Papers (21)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (166 KB) | HTML iconHTML

    Component based development is gaining popularity in the software engineering community. The reliability of components affects the reliability of the system. Different models and theories have been developed to estimate system reliability given the information about system architecture and the quality of the components. Almost always in these models a key attribute of component-based systems, the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Study of the impact of hardware fault on software reliability

    Publication Year: 2005, Page(s):10 pp. - 72
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (267 KB) | HTML iconHTML

    As software plays increasingly important roles in modern society, reliable software becomes desirable for all stakeholders. One of the root causes of software failure is the failure of the computer hardware platform on which the software resides. Traditionally, fault injection has been utilized to study the impact of these hardware failures. One issue raised with respect to the use of fault inject... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Prioritize code for testing to improve code coverage of complex software

    Publication Year: 2005, Page(s):10 pp. - 84
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (163 KB) | HTML iconHTML

    Code prioritization for testing promises to achieve the maximum testing coverage with the least cost. This paper presents an innovative method to provide hints on which part of code should be tested first to achieve best code coverage. This method claims two major contributions. First it takes into account a "global view" of the execution of a program being tested, by considering the impact of cal... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Providing test quality feedback using static source code and automatic test suite metrics

    Publication Year: 2005, Page(s):10 pp. - 94
    Cited by:  Papers (9)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (177 KB) | HTML iconHTML

    A classic question in software development is "How much testing is enough?" Aside from dynamic coverage-based metrics, there are few measures that can be used to provide guidance on the quality of an automatic test suite as development proceeds. This paper utilizes the software testing and reliability early warning (STREW) static metric suite to provide a developer with indications of changes and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving statechart testing criteria using data flow information

    Publication Year: 2005, Page(s):10 pp. - 104
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (158 KB) | HTML iconHTML

    Empirical studies have shown there is wide variation in cost (e.g., of devising and executing test cases) and effectiveness (at finding faults) across existing state-based coverage criteria. As these criteria can be considered as executing the control flow structure of the statechart, we are attempting to investigate how data flow information can be used to improve their cost-effectiveness. This a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Assessing the crash-failure assumption of group communication protocols

    Publication Year: 2005, Page(s):10 pp. - 116
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (246 KB) | HTML iconHTML

    Designing and correctly implementing group communication systems (GCSs) is notoriously difficult. Assuming that processes fail only by crashing provides a powerful means to simplify the theoretical development of these systems. When making this assumption, however, one should not forget that clean crash failures provide only a coarse approximation of the effects that errors can have in distributed... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PORT: a price-oriented reliable transport protocol for wireless sensor networks

    Publication Year: 2005, Page(s):10 pp. - 126
    Cited by:  Papers (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (185 KB) | HTML iconHTML

    In wireless sensor networks, to obtain reliability and minimize energy consumption, a dynamic rate-control and congestion-avoidance transport scheme is very important. We notice that reporting packets may contribute to the sink's fidelity of its knowledge on the phenomenon of interest to different extents. Thus, reliability cannot simply be measured by the sink's total incoming packet rate as cons... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.