Skip to main content
SpringerLink
Log in

Testing Software and Systems

32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Valentina Casola

    1. University of Naples Federico II, Naples, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alessandra De Benedictis

    1. University of Naples Federico II, Naples, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Massimiliano Rak

    1. University of Campania "Luigi Vanvitelli", Aversa, Italy

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

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

Included in the following conference series:

Conference proceedings info: ICTSS 2020.

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

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Model-Based Testing

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Using Model Learning for the Generation of Mock Components

      • Sébastien Salva, Elliott Blot
      Pages 3-19

    3. Interrogating Virtual Agents: In Quest of Security Vulnerabilities

      • Josip Bozic, Franz Wotawa
      Pages 20-34

    4. Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT

      • Bernhard K. Aichernig, Christian Burghard
      Pages 35-51

    5. Learning Abstracted Non-deterministic Finite State Machines

      • Andrea Pferscher, Bernhard K. Aichernig
      Pages 52-69

  3. Security Testing

    1. Front Matter

      Pages 71-71
      Download chapter PDF

    2. APPregator: A Large-Scale Platform for Mobile Security Analysis

      • Luca Verderame, Davide Caputo, Andrea Romdhana, Alessio Merlo
      Pages 73-88

    3. Vulsploit: A Module for Semi-automatic Exploitation of Vulnerabilities

      • Arcangelo Castiglione, Francesco Palmieri, Mariangela Petraglia, Raffaele Pizzolante
      Pages 89-103

    4. About the Robustness and Looseness of Yara Rules

      • Gerardo Canfora, Mimmo Carapella, Andrea Del Vecchio, Laura Nardi, Antonio Pirozzi, Corrado Aaron Visaggio
      Pages 104-120

    5. Measurement-Based Analysis of a DoS Defense Module for an Open Source Web Server

      • Marta Catillo, Antonio Pecchia, Umberto Villano
      Pages 121-134

    6. Trust Is in the Air: A New Adaptive Method to Evaluate Mobile Wireless Networks

      • Alexandra-Elena Mocanu (Mihaita), Bogdan-Costel Mocanu, Christian Esposito, Florin Pop
      Pages 135-149

    7. Enabling Next-Generation Cyber Ranges with Mobile Security Components

      • Enrico Russo, Luca Verderame, Alessio Merlo
      Pages 150-165

  4. Testing Methods and Applications

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. A Technique for Parallel GUI Testing of Android Applications

      • Porfirio Tramontana, Nicola Amatucci, Anna Rita Fasolino
      Pages 169-185

    3. Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements

      • Martin Erb, Christian Steger, Martin Troyer, Josef Preishuber-Pflügl
      Pages 186-200

    4. Methods for Live Testing of Cloud Services

      • Oussama Jebbar, Ferhat Khendek, Maria Toeroe
      Pages 201-216

  5. Testing Methods and Automation

    1. Front Matter

      Pages 217-217
      Download chapter PDF

    2. Automated Transition Coverage in Behavioural Conformance Testing

      • Lina Marsso, Radu Mateescu, Wendelin Serwe
      Pages 219-235

    3. An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm

      • Robert Sachtleben
      Pages 236-254
Back to top

Other volumes

  1. Testing Software and Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic.

The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions.

Editors and Affiliations

  • University of Naples Federico II, Naples, Italy

    Valentina Casola, Alessandra De Benedictis

  • University of Campania "Luigi Vanvitelli", Aversa, Italy

    Massimiliano Rak

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation