Overview

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.

Full Product Details

Author:   Valentina Casola ,  Alessandra De Benedictis ,  Massimiliano Rak
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
Edition:   1st ed. 2020
Volume:   12543
Weight:   0.510kg
ISBN:  

9783030648800

ISBN 10:   303064880
Pages:   317
Publication Date:   27 November 2020
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Model-Based Testing.- Using Model Learning for the Generation of Mock Components.- Interrogating Virtual Agents: In Quest of Security Vulnerabilities.- Giving a Model-based Testing Language a Formal Semantics via Partial MAX-SAT.- Learning Abstracted Non-Deterministic Finite State Machines.- Security Testing.- APPregator: a large-scale platform for mobile security analysis.- Vulsploit: a module for semi-automatic exploitation of vulnerabilities.- About the Robustness and Looseness of Yara Rules.- Measurement-based analysis of a DoS Defense Module for an Open Source Web Server.- Trust is in the air: a new adaptive method to evaluate mobile wireless networks.- Enabling Next-Generation Cyber Ranges with Mobile Security Components.- Testing Methods and Applications.- A Technique for Parallel GUI Testing of Android Applications.- Trigger Alarm A Smart NFC Sniffer for High-Precision Measurements.- Methods for Live Testing of Cloud Services.- Testing Methods and Automation.- Automated Transition Coverage in Behavioural Conformance Testing.- An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm.- Automatic Fairness Testing of Machine Learning Models.- Inspecting Code Churns to Prioritize Test Cases.- Short Contributions.- Using an SMT solver for checking the completeness of FSM-based tests.- Hacking Goals: a goal-centric attack taxonomy in computer systems.- A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems.- Architecture based on keyword driven testing with domain specific language for a testing system.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions