By Topic

Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on

Date 6-10 April 2010

Filter Results

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

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

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

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

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

    Publication Year: 2010, Page(s):v - x
    Request permission for commercial reuse | PDF file iconPDF (167 KB)
    Freely Available from IEEE
  • AMOST/QuoMBaT: Workshop on Advances and Quality in Model-Based Testing Committee

    Publication Year: 2010, Page(s):xi - xii
    Request permission for commercial reuse | PDF file iconPDF (116 KB)
    Freely Available from IEEE
  • Mutation: 5th International Workshop on Mutation Analysis Committee

    Publication Year: 2010, Page(s): xiii
    Request permission for commercial reuse | PDF file iconPDF (114 KB)
    Freely Available from IEEE
  • SBST: 3rd International Workshop on Search-Based Software Testing Committee

    Publication Year: 2010, Page(s): xiv
    Request permission for commercial reuse | PDF file iconPDF (114 KB)
    Freely Available from IEEE
  • TESTBEDS: Testing Techniques & Experimentation Benchmarks for Event-Driven Software Committee

    Publication Year: 2010, Page(s): xv
    Request permission for commercial reuse | PDF file iconPDF (127 KB)
    Freely Available from IEEE
  • ViDaS: 1st International Workshop on Validation and Verification of Dynamic Systems Committee

    Publication Year: 2010, Page(s): xvi
    Request permission for commercial reuse | PDF file iconPDF (114 KB)
    Freely Available from IEEE
  • CSTVA: 2nd Workshop on Constraints in Software Testing, Verification, and Analysis Committee

    Publication Year: 2010, Page(s): xvii
    Request permission for commercial reuse | PDF file iconPDF (114 KB)
    Freely Available from IEEE
  • MDV: 1st International Workshop on Modeling and Detection of Vulnerabilities Committee

    Publication Year: 2010, Page(s): xviii
    Request permission for commercial reuse | PDF file iconPDF (114 KB)
    Freely Available from IEEE
  • STITC: Software Testing in the Cloud Committee

    Publication Year: 2010, Page(s): xix
    Request permission for commercial reuse | PDF file iconPDF (112 KB)
    Freely Available from IEEE
  • TDD: 1st International Workshop on Test-Driven Development Committee

    Publication Year: 2010, Page(s): xx
    Request permission for commercial reuse | PDF file iconPDF (112 KB)
    Freely Available from IEEE
  • From Test Purposes to Asynchronous Test Cases

    Publication Year: 2010, Page(s):1 - 10
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (378 KB) | HTML iconHTML

    In this paper, we investigate the problem of constructing a test case for a given test purpose and specification modelled by input/output transition systems (IOTS). The communication between the tester and the implementation under test is assumed to be asynchronous, performed via queues. Differently from synchronous tests, when issuing verdicts, asynchronous tests should take into account the dist... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling Requirements to Support Testing of Product Lines

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

    The trend towards constantly growing numbers of product variants and features in industry makes the improvement of analysis and specification techniques a key efficiency enabler. The development of a single generic functional specification applicable to a whole product family can help to save costs and time to market significantly. However, the introduction of a product-line approach into a system... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Measurement Framework for Assessing Model-Based Testing Quality

    Publication Year: 2010, Page(s):19 - 27
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (469 KB) | HTML iconHTML

    This paper proposes a measurement framework for assessing the relative quality of alternative approaches to system level model-based testing. The motivation is to investigate the types of measures that the MBT community should apply. The purpose of this paper is to provide a basis for discussion by proposing some initial ideas on where we should probe for MBT quality measurement. The centerpiece o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Effort Comparison for Model-Based Testing Scenarios

    Publication Year: 2010, Page(s):28 - 36
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (402 KB) | HTML iconHTML

    In the literature of model-based testing (MBT), different testing scenarios are introduced. These scenarios mainly differ in the origin and content of test models which has an impact on testing activities. For example, if developers models are directly used as test models, the efforts for test model creation will be low, however the evaluation of test results will need more efforts. We investigate... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating Minimal Fault Detecting Test Suites for Boolean Expressions

    Publication Year: 2010, Page(s):37 - 45
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (323 KB) | HTML iconHTML

    New coverage criteria for Boolean expressions are regularly introduced with two goals: to detect specific classes of realistic faults and to produce as small as possible test suites. In this paper we investigate whether an approach targeting specific fault classes using several reduction policies can achieve that less test cases are generated than by previously introduced testing criteria. In our ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation

    Publication Year: 2010, Page(s):46 - 53
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (455 KB) | HTML iconHTML

    In this paper we consider test suite derivation for nondeterministic Finite State Machines (FSM) w. r. t. the non-separability relation. The improvement to the existing algorithms is proposed for exhaustive test derivation without the explicit enumeration of all possible implementations. One algorithm can be applied when the set of possible implementations is the set of all complete nondeterminist... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests

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

    This paper presents a computer aided model-based test generation method. We propose this approach as a complement to the LTG (Leirios Test Generator) method, which extracts functional tests out of a formal behavioral model M by means of static (or structural) selection criteria. Our method computes additional tests by applying dynamic (or behavioral) selection criteria (test purposes called TP). A... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Preliminary Study on BPEL Process Testability

    Publication Year: 2010, Page(s):62 - 71
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (419 KB) | HTML iconHTML

    WS-BPEL is an OASIS standard language used for describing interactions in Service Oriented Architectures (SOA). BPEL processes are usually overlapped in large Business applications composed of web services and such applications are more and more developed with respect of quality processes. Testability, which is the topic of this paper, is a quality criterion devoted for testing activities which ev... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies

    Publication Year: 2010, Page(s):72 - 79
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (471 KB) | HTML iconHTML

    In this paper, we study an issue related to the abstraction level of a meta-model through the example of a model-driven approach for specifying, deploying and testing security policies in Java applications. The issue we focus on is the balance between a "generic" meta-model and the semantics we want to attach to it, which ahs to be precise enough. The goal of the original work was to present a ful... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Manifesto for Higher Order Mutation Testing

    Publication Year: 2010, Page(s):80 - 89
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (955 KB) | HTML iconHTML

    We argue that higher order mutants are potentially better able to simulate real faults and to reveal insights into bugs than the restricted class of first order mutants. The Mutation Testing community has previously shied away from Higher Order Mutation Testing believing it to be too expensive and therefore impractical. However, this paper argues that Search Based Software Engineering can provide ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Empirical Evaluation of the First and Second Order Mutation Testing Strategies

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

    Various mutation approximation techniques have been proposed in the literature in order to reduce the expenses of mutation. This paper presents results from an empirical study conducted for first and second order mutation testing strategies. Its scope is to evaluate the relative application cost and effectiveness of the different mutation strategies. The application cost was based: on the number o... View full abstract»

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