Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings (Lecture Notes in Computer Science Book 12543)

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. Front Matter ....Pages i-xii Front Matter ....Pages 1-1 Using Model Learning for the Generation of Mock Components (Sébastien Salva, Elliott Blot)....Pages 3-19 Interrogating Virtual Agents: In Quest of Security Vulnerabilities (Josip Bozic, Franz Wotawa)....Pages 20-34 Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT (Bernhard K. Aichernig, Christian Burghard)....Pages 35-51 Learning Abstracted Non-deterministic Finite State Machines (Andrea Pferscher, Bernhard K. Aichernig)....Pages 52-69 Front Matter ....Pages 71-71 APPregator: A Large-Scale Platform for Mobile Security Analysis (Luca Verderame, Davide Caputo, Andrea Romdhana, Alessio Merlo)....Pages 73-88 Vulsploit: A Module for Semi-automatic Exploitation of Vulnerabilities (Arcangelo Castiglione, Francesco Palmieri, Mariangela Petraglia, Raffaele Pizzolante)....Pages 89-103 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 Measurement-Based Analysis of a DoS Defense Module for an Open Source Web Server (Marta Catillo, Antonio Pecchia, Umberto Villano)....Pages 121-134 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 Enabling Next-Generation Cyber Ranges with Mobile Security Components (Enrico Russo, Luca Verderame, Alessio Merlo)....Pages 150-165 Front Matter ....Pages 167-167 A Technique for Parallel GUI Testing of Android Applications (Porfirio Tramontana, Nicola Amatucci, Anna Rita Fasolino)....Pages 169-185 Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements (Martin Erb, Christian Steger, Martin Troyer, Josef Preishuber-Pflügl)....Pages 186-200 Methods for Live Testing of Cloud Services (Oussama Jebbar, Ferhat Khendek, Maria Toeroe)....Pages 201-216 Front Matter ....Pages 217-217 Automated Transition Coverage in Behavioural Conformance Testing (Lina Marsso, Radu Mateescu, Wendelin Serwe)....Pages 219-235 An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm (Robert Sachtleben)....Pages 236-254 Automatic Fairness Testing of Machine Learning Models (Arnab Sharma, Heike Wehrheim)....Pages 255-271 Inspecting Code Churns to Prioritize Test Cases (Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace)....Pages 272-285 Front Matter ....Pages 287-287 Using an SMT Solver for Checking the Completeness of FSM-Based Tests (Evgenii Vinarskii, Andrey Laputenko, Nina Yevtushenko)....Pages 289-295 Hacking Goals: A Goal-Centric Attack Classification Framework (Francesco Caturano, Gaetano Perrone, Simon Pietro Romano)....Pages 296-301 A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems (Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya)....Pages 302-309 Architecture Based on Keyword Driven Testing with Domain Specific Language for a Testing System (Ricardo B. Pereira, Miguel A. Brito, Ricardo J. Machado)....Pages 310-316 Back Matter ....Pages 317-317