Testing Software and Systems, 1st ed. 2020 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings Programming and Software Engineering Series

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.

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.