By Topic

Quality Software (QSIC), 2010 10th International Conference on

Date 14-15 July 2010

Filter Results

Displaying Results 1 - 25 of 87
  • [Front cover]

    Publication Year: 2010 , Page(s): C1
    Save to Project icon | Request Permissions | PDF file iconPDF (555 KB)  
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2010 , Page(s): i
    Save to Project icon | Request Permissions | PDF file iconPDF (85 KB)  
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2010 , Page(s): iii
    Save to Project icon | Request Permissions | PDF file iconPDF (156 KB)  
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2010 , Page(s): iv
    Save to Project icon | Request Permissions | PDF file iconPDF (116 KB)  
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2010 , Page(s): v - x
    Save to Project icon | Request Permissions | PDF file iconPDF (162 KB)  
    Freely Available from IEEE
  • Message from the Program Chairs

    Publication Year: 2010 , Page(s): xi
    Save to Project icon | Request Permissions | PDF file iconPDF (143 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Message from the Steering Committee Chair

    Publication Year: 2010 , Page(s): xii
    Save to Project icon | Request Permissions | PDF file iconPDF (127 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Committees

    Publication Year: 2010 , Page(s): xiii
    Save to Project icon | Request Permissions | PDF file iconPDF (127 KB)  
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2010 , Page(s): xiv - xv
    Save to Project icon | Request Permissions | PDF file iconPDF (132 KB)  
    Freely Available from IEEE
  • list-reviewer

    Publication Year: 2010 , Page(s): xvi
    Save to Project icon | Request Permissions | PDF file iconPDF (86 KB)  
    Freely Available from IEEE
  • Workshop Committees

    Publication Year: 2010 , Page(s): xvii - xviii
    Save to Project icon | Request Permissions | PDF file iconPDF (95 KB)  
    Freely Available from IEEE
  • Message from the Workshop Chairs of The First International Workshop on Program Debugging in China

    Publication Year: 2010 , Page(s): xix
    Save to Project icon | Request Permissions | PDF file iconPDF (153 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Message from the Workshop Chairs of the International Workshop on Quality of Service-Based Systems

    Publication Year: 2010 , Page(s): xx
    Save to Project icon | Request Permissions | PDF file iconPDF (127 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Message from the Workshop Chairs of the Workshop on Embedded System Software Development and Quality Assurance

    Publication Year: 2010 , Page(s): xxi
    Save to Project icon | Request Permissions | PDF file iconPDF (171 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures?

    Publication Year: 2010 , Page(s): 1
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (201 KB) |  | HTML iconHTML  

    A traditional research direction in SA and dependability is to deduce system dependability properties from the Knowledge of the system Software Architecture. This will reflect the fact that traditional systems are built by using the closed world assumption. In mobile and ubiquitous systems this line of reasoning becomes too restrictive to apply due to the inherent dynamicity and heterogeneity of t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge Sharing in Software Development

    Publication Year: 2010 , Page(s): 2
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (163 KB) |  | HTML iconHTML  

    In software development, a huge amount of knowledge needs to be shared between architects and developers, developers and testers, configuration managers and integration testers, and so on. Since all these people want to develop, test, architect software, and are reluctant to document it, a lot of this knowledge remains tacit. This is the more so in agile environments, where there is an inherent te... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated Conformance Verification of Hybrid Systems

    Publication Year: 2010 , Page(s): 3 - 12
    Cited by:  Papers (5)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (422 KB) |  | HTML iconHTML  

    Due to the combination of discrete events and continuous behavior the validation of hybrid systems is a challenging task. Nevertheless, as for other systems the correctness of such hybrid systems is a major concern. In this paper we present a new approach for verifying the input-output conformance of two hybrid systems. This approach can be used to generate mutation-based test cases. We specify a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Grouping-Based Strategy to Improve the Effectiveness of Fault Localization Techniques

    Publication Year: 2010 , Page(s): 13 - 22
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (384 KB) |  | HTML iconHTML  

    Fault localization is one of the most expensive activities of program debugging, which is why the recent years have witnessed the development of many different fault localization techniques. This paper proposes a grouping-based strategy that can be applied to various techniques in order to boost their fault localization effectiveness. The applicability of the strategy is assessed over - Tarantula ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the Impact of Design Flaws on Software Defects

    Publication Year: 2010 , Page(s): 23 - 31
    Cited by:  Papers (9)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (769 KB) |  | HTML iconHTML  

    The presence of design flaws in a software system has a negative impact on the quality of the software, as they indicate violations of design practices and principles, which make a software system harder to understand, maintain, and evolve. Software defects are tangible effects of poor software quality. In this paper we study the relationship between software defects and a number of design flaws. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mining Performance Regression Testing Repositories for Automated Performance Analysis

    Publication Year: 2010 , Page(s): 32 - 41
    Cited by:  Papers (8)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (594 KB) |  | HTML iconHTML  

    Performance regression testing detects performance regressions in a system under load. Such regressions refer to situations where software performance degrades compared to previous releases, although the new version behaves correctly. In current practice, performance analysts must manually analyze performance regression testing data to uncover performance regressions. This process is both time-con... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Prioritizing Tests for Software Fault Localization

    Publication Year: 2010 , Page(s): 42 - 51
    Cited by:  Papers (10)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (1422 KB) |  | HTML iconHTML  

    Test prioritization techniques select test cases that maximize the confidence on the correctness of the system when the resources for quality assurance (QA) are limited. In the event of a test failing, the fault at the root of the failure has to be localized, adding an extra debugging cost that has to be taken into account as well. However, test suites that are prioritized for failure detection ca... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scenarios-Based Testing of Systems with Distributed Ports

    Publication Year: 2010 , Page(s): 52 - 61
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (278 KB) |  | HTML iconHTML  

    Current distributed systems are usually composed of several distributed components that communicate through specific ports. When testing these systems we separately observe sequences of inputs and outputs at each port rather than a global sequence and potentially cannot reconstruct the global sequence that occurred. In this paper we concentrate on the problem of formally testing systems with distr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software

    Publication Year: 2010 , Page(s): 62 - 71
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (697 KB) |  | HTML iconHTML  

    Model-based testing helps test engineers automate their testing tasks so that they can be more cost-effective. When the model is changed due to the evolution of the specification, it is important to maintain the test suites up to date for regression testing. A complete regeneration of the whole test suite from the new model, although inefficient, is still frequently used in practice. To handle spe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Simulation Study on Some Search Algorithms for Regression Test Case Prioritization

    Publication Year: 2010 , Page(s): 72 - 81
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (920 KB) |  | HTML iconHTML  

    Test case prioritization is an approach aiming at increasing the rate of faults detection during the testing phase, by reordering test case execution. Many techniques for regression test case prioritization have been proposed. In this paper, we perform a simulation experiment to study five search algorithms for test case prioritization and compare the performance of these algorithms. The target of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Quality Prediction Models Compared

    Publication Year: 2010 , Page(s): 82 - 91
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (436 KB) |  | HTML iconHTML  

    Numerous empirical studies confirm that many software metrics aggregated in software quality prediction models are valid predictors for qualities of general interest like maintainability and correctness. Even these general quality models differ quite a bit, which raises the question: Do the differences matter? The goal of our study is to answer this question for a selection of quality models that ... View full abstract»

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