By Topic

2011 11th International Conference on Quality Software

Date 13-14 July 2011

Filter Results

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

    Publication Year: 2011, Page(s): C1
    Request permission for commercial reuse | PDF file iconPDF (127 KB)
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2011, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (84 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2011, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (165 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2011, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (108 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2011, Page(s):v - vii
    Request permission for commercial reuse | PDF file iconPDF (306 KB)
    Freely Available from IEEE
  • Message from the QSIC 2011 General Chair

    Publication Year: 2011, Page(s): viii
    Request permission for commercial reuse | PDF file iconPDF (77 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from the QSIC 2011 Programme Committee Chairs

    Publication Year: 2011, Page(s): ix
    Request permission for commercial reuse | PDF file iconPDF (77 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from WS-FMDS 2011 Programme Committee Chairs

    Publication Year: 2011, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (107 KB) | HTML iconHTML
    Freely Available from IEEE
  • QSIC 2011 Committees

    Publication Year: 2011, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (96 KB)
    Freely Available from IEEE
  • QSIC 2011 Programme Committee

    Publication Year: 2011, Page(s):xii - xiii
    Request permission for commercial reuse | PDF file iconPDF (103 KB)
    Freely Available from IEEE
  • Additional Reviewers

    Publication Year: 2011, Page(s): xiv
    Request permission for commercial reuse | PDF file iconPDF (70 KB)
    Freely Available from IEEE
  • Keynote speakers

    Publication Year: 2011, Page(s): xv
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (63 KB) | HTML iconHTML

    These keynote speeches discuss the following: the law of tendency to executability and its implications; and metamorphic testing: a simple approach to alleviate the Oracle problem. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Spectrum-Based Fault Localization: Testing Oracles are No Longer Mandatory

    Publication Year: 2011, Page(s):1 - 10
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (471 KB) | HTML iconHTML

    Spectrum-based Fault Localization (SBFL) is one of the most popular approaches for locating software faults, and has received much attention because of its simplicity and effectiveness. It utilizes the execution result of each test case (failure or pass) and the corresponding coverage information to evaluate the likelihood of each program entity (e.g., a statement or a predicate) being faulty. Dif... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Dynamic Fault Localization Technique with Noise Reduction for Java Programs

    Publication Year: 2011, Page(s):11 - 20
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (562 KB) | HTML iconHTML

    Existing fault localization techniques combine various program features and similarity coefficients with the aim of precisely assessing the similarities among the dynamic spectra of these program features to predict the locations of faults. Many such techniques estimate the probability of a particular program feature causing the observed failures. They ignore the noise introduced by the other feat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization

    Publication Year: 2011, Page(s):21 - 30
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB) | HTML iconHTML

    An effective integration between testing and debugging should address how well testing and fault localization can work together productively. In this paper, we report an empirical study on the effectiveness of using adequate test suites for fault localization. We also investigate the integration of test case prioritization and statistical fault localization with a postmortem analysis approach. Our... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evolutionary Generation of Whole Test Suites

    Publication Year: 2011, Page(s):31 - 40
    Cited by:  Papers (23)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (398 KB) | HTML iconHTML

    Recent advances in software testing allow automatic derivation of tests that reach almost any desired point in the source code. There is, however, a fundamental problem with the general idea of targeting one distinct test coverage goal at a time: Coverage goals are neither independent of each other, nor is test generation for any particular coverage goal guaranteed to succeed. We present EVOSUITE,... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Search-Based OCL Constraint Solver for Model-Based Test Data Generation

    Publication Year: 2011, Page(s):41 - 50
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (510 KB) | HTML iconHTML

    Model-based testing (MBT) aims at automated, scalable, and systematic testing solutions for complex industrial software systems. To increase chances of adoption in industrial contexts, software systems should be modeled using well-established standards such as the Unified Modeling Language (UML) and Object Constraint Language (OCL). Given that test data generation is one of the major challenges to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model

    Publication Year: 2011, Page(s):51 - 60
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (410 KB) | HTML iconHTML

    Precise interprocedural analysis is crucial for defect detection faced with the problem of procedure call. Procedure summary is an effective and classical technique to handle this problem. However, there is no general recipe to construct and instantiate procedure summaries with context-sensitivity. This paper addresses the above challenge by introducing a unified symbolic procedure summary model (... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs

    Publication Year: 2011, Page(s):61 - 66
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (422 KB) | HTML iconHTML

    Exception handling is a vital but often poorly tested part of a program. Static analysis can spot bugs on exceptional paths without actually making the exceptions happen. However, the traditional methods only focus on null dereferences on exceptional paths, but do not check the states of variables, which may be corrupted by exceptions. In this paper we propose a static analysis method that combine... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Automatic Performance Modeling Approach to Capacity Planning for Multi-service Web Applications

    Publication Year: 2011, Page(s):67 - 75
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (690 KB) | HTML iconHTML

    Capacities of online services are mainly determined by the interactions between workload and the services of the application. As the complexity of IT infrastructure increases, it is quite difficult to match the capacities of various services without the knowledge of their behaviors. The challenge to the existing works is to keep the performance model consistent with the services under live workloa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-Driven Design of Performance Requirements

    Publication Year: 2011, Page(s):76 - 85
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (370 KB) | HTML iconHTML

    Obtaining the expected performance of a workflow is much simpler if the requirements for each of its tasks are well defined. However, most of the time, not all tasks have well-defined requirements, and these must be derived by hand. This can be an error-prone and time consuming process for complex workflows. In this work, we present an algorithm which can derive a time limit for each task in a wor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards Balancing Determinism, Memory Consumption and Throughput for RTSJ-Based Real-Time Applications

    Publication Year: 2011, Page(s):86 - 95
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (421 KB) | HTML iconHTML

    Determinism, memory consumption and throughput are three important performance indicators for RTSJ-based real-time applications, but they often interact and conflict with each other. Manually balancing these performance indicators is often time-consuming. Therefore, there is the need to clarify the relationship among the performance metrics and make trade-off automatically. In this paper, we abstr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parameterised Argument Structure for GSN Patterns

    Publication Year: 2011, Page(s):96 - 101
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (279 KB) | HTML iconHTML

    GSN (Goal Structuring Notation) is a graphical notation widely used to construct assurance cases, which are required for the system assurance of safety critical systems. Patterns and their supporting constructs are proposed in GSN, which include parameterized expressions in order to facilitate the reuse of existing assurance cases. Unfortunately the current GSN does not provide the precise account... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion

    Publication Year: 2011, Page(s):102 - 111
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB) | HTML iconHTML

    High cohesion as a desirable principle in software design has an incredible impact on software reuse, maintenance and support. In service-oriented architecture (SOA), the focus of services on single business functionality is defined as conceptual cohesion. Current metrics for measuring service cohesion reflect mostly the structural aspect of cohesion and therefore cannot be utilized to measure con... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Application of a New Process Quality Measurement Model for Software Process Improvement Initiatives

    Publication Year: 2011, Page(s):112 - 120
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (389 KB) | HTML iconHTML

    Conventionally, process analysis is performed by following the traces of processes on the attributes of cost, time and product quality. Although process quality is a significant aspect it is frequently ignored in process analysis. In this paper, we present the results of the applications of the Process Quality Measurement Model (PQMM) and demonstrate the added value that can be acquired by analyzi... View full abstract»

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