Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Testing Software and Systems

33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. David Clark

    1. University College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hector Menendez

    1. Middlesex University, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ana Rosa Cavalli

    1. Telecom SudParis, Evry Cedex, 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 13045)

Included in the following conference series:

Conference proceedings info: ICTSS 2021.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.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

About this book

This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic.

The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports.  The papers are divided into the following topical subheadings: Finite State Machine-based Testing; Test Generation and Selection; AI-based Techniques; Use Cases; Project Reports.

Similar content being viewed by others

Keywords

Table of contents (17 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Finite State Machine-based Testing

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. libfsmtest An Open Source Library for FSM-Based Testing

      • Moritz Bergenthal, Niklas Krafczyk, Jan Peleska, Robert Sachtleben
      Pages 3-19

    3. Mining Precise Test Oracle Modelled by FSM

      • Omer Nguena Timo
      Pages 20-36

    4. Reverse-Engineering EFSMs with Data Dependencies

      • Michael Foster, John Derrick, Neil Walkinshaw
      Pages 37-54

    5. Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization

      • Natalia Kushik, Nina Yevtushenko, Jorge López
      Pages 55-61

  3. Test Generation and Selection

    1. Front Matter

      Pages 63-63
      Download chapter PDF

    2. Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller

      • Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
      Pages 65-72

    3. Locality-Based Test Selection for Autonomous Agents

      • Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi, Thomas Arts
      Pages 73-89

    4. Improving Model Inference via W-Set Reduction

      • Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simao
      Pages 90-105

    5. Using Ant Colony Optimisation to Select Features Having Associated Costs

      • Alfredo Ibias, Luis Llana, Manuel Núñez
      Pages 106-122

    6. Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy

      • Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov
      Pages 123-130

    7. Metamorphic Testing of Logic Theorem Prover

      • Oliver A. Tazl, Franz Wotawa
      Pages 131-137

  4. AI-based Techniques

    1. Front Matter

      Pages 139-139
      Download chapter PDF

    2. Creation of Human-friendly Videos for Debugging Automated GUI-Tests

      • Jianwei Shi, Kurt Schneider
      Pages 141-147

    3. Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones

      • Smit Patel, Roopak Sinha
      Pages 148-159

    4. Robustness Analysis of Deep Learning Frameworks on Mobile Platforms

      • Amin Eslami Abyane, Hadi Hemmati
      Pages 160-177

  5. Use Cases

    1. Front Matter

      Pages 179-179
      Download chapter PDF

    2. Specification and Validation of Numerical Algorithms with the Gradual Contracts Pattern

      • René Fritze, Stephan Rave
      Pages 181-188

    3. Solving the Instance Identification Problem in Micro-service Testing

      • Theofanis Vassiliou-Gioles
      Pages 189-195
Back to top

Other volumes

  1. Testing Software and Systems

Editors and Affiliations

  • University College London, London, UK

    David Clark

  • Middlesex University, London, UK

    Hector Menendez

  • Telecom SudParis, Evry Cedex, France

    Ana Rosa Cavalli

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation