Skip to main content
SpringerLink
Log in

Testing Software and Systems

26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Mercedes G. Merayo

    1. Facultad de Informática. Deparmento Sistems Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Edgardo Montes Oca

    1. Montimage, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8763)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICTSS 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Testing Methodologies

    1. A Framework for Genetic Test-Case Generation for WS-BPEL Compositions

      • Antonia Estero-Botaro, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo
      Pages 1-16

    2. Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints

      • Shaukat Ali, Tao Yue
      Pages 17-31

    3. Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences

      • Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün
      Pages 32-47

    4. Plan It! Automated Security Testing Based on Planning

      • Franz Wotawa, Josip Bozic
      Pages 48-62

    5. Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria

      • Anurag Dwarakanath, Aruna Jankiti
      Pages 63-79

  3. Tools and Frameworks

    1. An Approach to Derive Usage Models Variants for Model-Based Testing

      • Hamza Samih, Hélène Le Guen, Ralf Bogusch, Mathieu Acher, Benoit Baudry
      Pages 80-96

    2. AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems

      • Mariem Abdelmoula, Daniel Gaffe, Michel Auguin
      Pages 97-112

    3. Well-Defined Coverage Metrics for the Glass Box Test

      • Rainer Schmidberger
      Pages 113-128

  4. Industrial Experiences

    1. Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment

      • Manuel Palmieri, Antonio Cicchetti, Anders Öberg
      Pages 129-144

    2. Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study

      • Morten Mossige, Arnaud Gotlieb, Hein Meling
      Pages 145-160

    3. What Characterizes a Good Software Tester? – A Survey in Four Norwegian Companies

      • Anca Deak
      Pages 161-172

  5. Short Contributions

    1. A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems

      • Martial Chabot, Laurence Pierre
      Pages 173-179

    2. Towards Testing Self-organizing, Adaptive Systems

      • Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif
      Pages 180-185

    3. Design of Prioritized N-Wise Testing

      • Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa
      Pages 186-191

    4. Change Detection System for the Maintenance of Automated Testing

      • Miroslav Bures
      Pages 192-197

    5. On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment

      • Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko
      Pages 198-204

    6. Search-Based Testing for Embedded Telecom Software with Complex Input Structures

      • Kivanc Doganay, Sigrid Eldh, Wasif Afzal, Markus Bohlin
      Pages 205-210

  6. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Testing Software and Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014. The 11 revised full papers presented together with 6 short papers were carefully selected from 36 submissions. The scope of the conference was on following topics: testing methodologies, tools and frameworks, and industrial experiences.

Editors and Affiliations

  • Facultad de Informática. Deparmento Sistems Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain

    Mercedes G. Merayo

  • Montimage, Paris, France

    Edgardo Montes Oca

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation