Skip to main content
SpringerLink
Log in

Testing Software and Systems

27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Khaled El-Fakih

    1. Dept. of Comp. Sci.&Engg. Coll. of Engg, American Univ of Sharjah, Sharjah, United Arab Emirates

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gerassimos Barlas

    1. Dept. of Comp. Sci.&Engg. Coll. of Engg, American Univ of Sharjah, Sharjah, United Arab Emirates

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Nina Yevtushenko

    1. Department of Information Technologies, Tomsk State University, Tomsk, Russia

    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 9447)

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

Included in the following conference series:

Conference proceedings info: ICTSS 2015.

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 EPUB and 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 (18 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Model Based Testing

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Checking Experiments for Finite State Machines with Symbolic Inputs

      • Alexandre Petrenko, Adenilso Simao
      Pages 3-18

    3. Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

      • Canan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün
      Pages 19-34

    4. Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

      • Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
      Pages 35-51

  3. Test Derivation Methods

    1. Front Matter

      Pages 53-53
      Download chapter PDF

    2. Graph Methods for Generating Test Cases with Universal and Existential Constraints

      • Sylvain Hallé, Edmond La Chance, Sébastien Gaboury
      Pages 55-70

    3. Reducing the Cost of Grammar-Based Testing Using Pattern Coverage

      • Cleverton Hentz, Jurgen J. Vinju, Anamaria M. Moreira
      Pages 71-85

    4. Automated Test Design for Boundaries of Product Line Variants

      • Stephan Weißleder, Florian Wartenberg, Hartmut Lackner
      Pages 86-101

  4. Monitoring and Fault Localization

    1. Front Matter

      Pages 103-103
      Download chapter PDF

    2. Guiding Testers’ Hands in Monitoring Tools: Application of Testing Approaches on SIP

      • Xiaoping Che, Stephane Maag, Huu Nghia Nguyen, Fatiha Zaïdi
      Pages 105-123

    3. Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach

      • Rui Abreu, Simon Außerlechner, Birgit Hofer, Franz Wotawa
      Pages 124-140

    4. Novel Insights on Cross Project Fault Prediction Applied to Automotive Software

      • Harald Altinger, Steffen Herbold, Jens Grabowski, Franz Wotawa
      Pages 141-157

  5. Model and System Testing

    1. Front Matter

      Pages 159-159
      Download chapter PDF

    2. Inferring Finite State Machines Without Reset Using State Identification Sequences

      • Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat
      Pages 161-177

    3. mu2: A Refactoring-Based Mutation Testing Framework for Erlang

      • Ramsay Taylor, John Derrick
      Pages 178-193

    4. A Survey on Testing for Cyber Physical System

      • Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson
      Pages 194-207

  6. Real-Time Systems

    1. Front Matter

      Pages 209-209
      Download chapter PDF

    2. Test-Data Generation for Testing Parallel Real-Time Systems

      • Muhammad Waqar Aziz, Syed Abdul Baqi Shah
      Pages 211-223

    3. Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations

      • Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel
      Pages 224-239
Back to top

Other volumes

  1. Testing Software and Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.

Editors and Affiliations

  • Dept. of Comp. Sci.&Engg. Coll. of Engg, American Univ of Sharjah, Sharjah, United Arab Emirates

    Khaled El-Fakih, Gerassimos Barlas

  • Department of Information Technologies, Tomsk State University, Tomsk, Russia

    Nina Yevtushenko

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation