By Topic

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007

Date 10-14 Sept. 2007

Filter Results

Displaying Results 1 - 25 of 44
  • Testing: Academic and Industrial Conference Practice and Research Techniques - Cover

    Publication Year: 2007, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (117 KB)
    Freely Available from IEEE
  • Testing: Academic and Industrial Conference Practice and Research Techniques - Title page

    Publication Year: 2007, Page(s):i - iii
    Request permission for commercial reuse | PDF file iconPDF (60 KB)
    Freely Available from IEEE
  • Testing: Academic and Industrial Conference Practice and Research Techniques - Table of contents

    Publication Year: 2007, Page(s):v - vii
    Request permission for commercial reuse | PDF file iconPDF (49 KB)
    Freely Available from IEEE
  • Preface

    Publication Year: 2007, Page(s): ix
    Request permission for commercial reuse | PDF file iconPDF (61 KB) | HTML iconHTML
    Freely Available from IEEE
  • Organization

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

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

    Publication Year: 2007, Page(s): xv
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (117 KB)

    Provides an abstract for each of the keynote presentations and a brief professional biography of each presenter. The complete presentations were not made available for publication as part of the conference proceedings. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented Systems

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

    We demonstrate how a static analysis feedback and unit test case generation framework, KUnit, built on the Bogor/Kiasan symbolic execution engine provides an effective unit test case generation for sequential heap-intensive Java programs (whose computation structures are incomplete - open systems). KUnit leverages method contract information to better deal with open object-oriented systems and to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Abstracting Symbolic Execution with String Analysis

    Publication Year: 2007, Page(s):13 - 22
    Cited by:  Papers (5)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (297 KB) | HTML iconHTML

    Forward symbolic execution is a technique for program analysis that explores the execution paths of a program by maintaining a symbolic representation of the program state. Traditionally, applications of this technique have focused on symbolically representing only primitive data types, while more recent extensions have expanded to reference types. We demonstrate the ability to symbolically execut... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving Evolutionary Testing in the Presence of Function-Assigned Flags

    Publication Year: 2007, Page(s):23 - 34
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB) | HTML iconHTML

    Evolutionary structural testing, an approach to automatically generating relevant unit test cases, encounters difficulties when the tested software contains boolean variables. This issue, known as the flag problem, has been studied by many researchers. However, previous work does not address the issue of function-assigned flags which constitutes a special type of the flag problem that often occurs... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing Techniques - Are they of any Practical Use?

    Publication Year: 2007, Page(s):35 - 39
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (525 KB) | HTML iconHTML

    Testing techniques are taught in universities and on many industrial training courses yet there is evidence to suggest that, in the corporate world, testers often find it difficult to apply the techniques and instead rely on domain knowledge and experience when designing tests. This is a shame as testing techniques are very effective at reducing the cost of testing by providing better coverage wit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test Methods and Tools for ERP Implementations

    Publication Year: 2007, Page(s):40 - 46
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (302 KB) | HTML iconHTML

    Enterprise resource planning (ERP) systems represent a huge market in the commercial arena. Products from suppliers such as SAP, Oracle and more recently, Microsoft, dominate the market. Testing in these projects is a significant effort but is hardly supported by methods and tools other than those provided by the suppliers themselves. Experience shows that testing in these projects is critical, bu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Early UML Model Testing using TTCN-3 and the UML Testing Profile

    Publication Year: 2007, Page(s):47 - 54
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (455 KB) | HTML iconHTML

    Motorola has been driving the use of model-driven engineering for a number of years with good successes. Now with its drive to deploy the Unified Modelling Language (UML) version 2 for more effective development, Motorola has developed capabilities to enable the early testing of UML design models. To ensure commonality the standard testing specification and execution frameworks TTCN-3 and the UML ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • State-based Testing is Functional Testing

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

    Empirical studies report unsatisfactory fault detection of state-based methods in class testing and advocate the use of functional methods to complement state-based testing. In this paper, we take the view that the modest fault detection of state-based class testing reported in the literature is actually due to the inappropriate state diagram used. We show that functional testing of a class can be... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test Effort Estimation Models Based on Test Specifications

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

    In competitive markets, test teams should be able to estimate the required effort to perform their test activities on the schedule. In this paper, we present a test execution and a test automation effort estimation model and their use for test selection. All these models are based on the test specifications written in a controlled natural language. This characteristic may allow us to have better e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Test Data Generation of Object-Oriented Software

    Publication Year: 2007, Page(s):72 - 76
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (224 KB) | HTML iconHTML

    Nowadays, object-oriented (OO) languages are widely used in the development of many different kinds of applications. However, testing those applications is still very expensive and time-consuming for the software community. The automation of this task would therefore be highly desirable. Although automatic testing of procedural software has been studied in depth for many years, comparatively littl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic Test-Data Generation: An Immunological Approach

    Publication Year: 2007, Page(s):77 - 81
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (343 KB) | HTML iconHTML

    In previous research, we presented an approach to automatically generate test-data for object-oriented software exploiting a genetic algorithm (GA) to achieve high levels of data-flow coverage. The experimental results from testing six Java classes helped us identify a number of problematic test targets, and suggest that in the future full data-flow coverage with a reasonable computational cost ma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • How good are your testers? An assessment of testing ability

    Publication Year: 2007, Page(s):82 - 88
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (310 KB) | HTML iconHTML

    During our previous research conducted in the Sheffield Software Engineering Observatory [11], we found that test first programmers spent a higher percentage of their time testing than those testing after coding. However as the team allocation was based on subjects ' academic records and their preference, it was unclear if they were simply better testers. Thus this paper proposes two questionnaire... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the Accuracy of Spectrum-based Fault Localization

    Publication Year: 2007, Page(s):89 - 98
    Cited by:  Papers (90)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (422 KB) | HTML iconHTML

    Spectrum-based fault localization shortens the test- diagnose-repair cycle by reducing the debugging effort. As a light-weight automated diagnosis technique it can easily be integrated with existing testing schemes. However, as no model of the system is taken into account, its diagnostic accuracy is inherently limited. Using the Siemens Set benchmark, we investigate this diagnostic accuracy as a f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Fault Prediction using Language Processing

    Publication Year: 2007, Page(s):99 - 110
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (439 KB) | HTML iconHTML

    Accurate prediction of faulty modules reduces the cost of software development and evolution. Two case studies with a language-processing based fault prediction measure are presented. The measure, refereed to as a QALP score, makes use of techniques from information retrieval to judge software quality. The QALP score has been shown to correlate with human judgements of software quality. The two ca... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling Dynamic Memory Management in Constraint-Based Testing

    Publication Year: 2007, Page(s):111 - 120
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (683 KB) | HTML iconHTML

    Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. When programs contain dynamic memory allocation and loops, constraint reasoning becomes challenging as new variables and new constraints are created during the test data generation process. In this paper, we address this problem by proposing a new constraint mo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Exploiting Constraint Solving History to Construct Interaction Test Suites

    Publication Year: 2007, Page(s):121 - 132
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB) | HTML iconHTML

    Researchers have explored the application of combinatorial interaction testing (CIT) methods to construct samples to drive systematic testing of software system configurations. Applying CIT to highly-configurable software systems is complicated by the fact that, in many such systems, there are constraints between specific configuration parameters that render certain combinations invalid. In recent... View full abstract»

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

    Publication Year: 2007, Page(s): 133
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (255 KB) | HTML iconHTML

    Performing an effective system test requires an in-depth knowledge of the domain and system being tested and an effective test design method, coupled with the right test infrastructure. The current state-of-the-art does not respect the constraint that subject matter experts (SMEs) are in short supply, nor exploit the fact that similar systems have been built and tested in the past. Most current st... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tabular Expression-Based Testing Strategies: A Comparison

    Publication Year: 2007, Page(s): 134
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (302 KB) | HTML iconHTML

    Tabular expressions were proposed as a documentation tool that can be used to document software precisely and unambiguously. This paper explores the applications of four testing strategies in tabular expression-based specifications and further compares the strategies on a mathematical basis. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Case for GUI Testing Using Symbolic Execution Poster Abstract

    Publication Year: 2007, Page(s): 135
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB) | HTML iconHTML

    A Graphical User Interface (GUI) consists of virtual objects (widgets) that are more intuitive to use, for example buttons, edit boxes, etc. While GUIs have become ubiquitous, testing them remains largely ad- hoc. In contrast with console applications where there is only one point of interaction (the command line), GUIs provide multiple points each of which might have different states. This struct... View full abstract»

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