Skip to main content
SpringerLink
Log in

Testing Software and Systems

29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Nina Yevtushenko

    1. Tomsk State University, Tomsk, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ana Rosa Cavalli

    1. SAMOVAR, CNRS, Télécom SudParis, Paris-Saclay University, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Hüsnü Yenigün

    1. Sabanci University, Istanbul, Turkey

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

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

Included in the following conference series:

Conference proceedings info: ICTSS 2017.

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 (22 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Model Based Testing

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Fragility-Oriented Testing with Model Execution and Reinforcement Learning

      • Tao Ma, Shaukat Ali, Tao Yue, Maged Elaasar
      Pages 3-20

    3. Fault-Based Testing for Refinement in CSP

      • Ana Cavalcanti, Adenilso Simao
      Pages 21-37

    4. Effective Infinite-State Model Checking by Input Equivalence Class Partitioning

      • Niklas Krafczyk, Jan Peleska
      Pages 38-53

    5. Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques

      • Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
      Pages 54-70

    6. AI for Localizing Faults in Spreadsheets

      • Birgit Hofer, Iulia Nica, Franz Wotawa
      Pages 71-87

  3. Test Derivation Methods

    1. Front Matter

      Pages 89-89
      Download chapter PDF

    2. n-Complete Test Suites for IOCO

      • Petra van den Bos, Ramon Janssen, Joshua Moerman
      Pages 91-107

    3. Multiple Mutation Testing from Finite State Machines with Symbolic Inputs

      • Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
      Pages 108-125

    4. From Passive to Active FSM Inference via Checking Sequence Construction

      • Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
      Pages 126-141

  4. Safety and Security Testing

    1. Front Matter

      Pages 143-143
      Download chapter PDF

    2. Safety-Complete Test Suites

      • Wen-ling Huang, Jan Peleska
      Pages 145-161

    3. Testing TLS Using Combinatorial Methods and Execution Framework

      • Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei et al.
      Pages 162-177

    4. Using Data Integration for Security Testing

      • Sébastien Salva, Loukmen Regainia
      Pages 178-194

  5. Test Selection and Quality Estimation

    1. Front Matter

      Pages 195-195
      Download chapter PDF

    2. A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction

      • Hermann Felbinger, Ingo Pill, Franz Wotawa
      Pages 197-212

    3. Quality Estimation of Virtual Machine Placement in Cloud Infrastructures

      • Jorge López, Natalia Kushik, Djamal Zeghlache
      Pages 213-229

    4. Homing Sequence Derivation with Quantified Boolean Satisfiability

      • Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik
      Pages 230-242

    5. Synchronizing Heuristics: Speeding up the Slowest

      • Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya
      Pages 243-256
Back to top

Other volumes

  1. Testing Software and Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.

The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.

Editors and Affiliations

  • Tomsk State University, Tomsk, Russia

    Nina Yevtushenko

  • SAMOVAR, CNRS, Télécom SudParis, Paris-Saclay University, Paris, France

    Ana Rosa Cavalli

  • Sabanci University, Istanbul, Turkey

    Hüsnü Yenigün

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation