1 option
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings / edited by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Programming and software engineering 2945-9168 ; SL 2, 12543
- Programming and Software Engineering, 2945-9168 ; 12543
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer engineering.
- Computer networks.
- Artificial intelligence.
- Computers.
- Computer science.
- Software Engineering.
- Computer Engineering and Networks.
- Artificial Intelligence.
- Computing Milieux.
- Computer Science Logic and Foundations of Programming.
- Local Subjects:
- Software Engineering.
- Computer Engineering and Networks.
- Artificial Intelligence.
- Computing Milieux.
- Computer Science Logic and Foundations of Programming.
- Physical Description:
- 1 online resource (XII, 317 pages) : 104 illustrations, 64 illustrations in color.
- Edition:
- 1st ed. 2020.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2020.
- System Details:
- text file PDF
- Summary:
- 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.
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-64881-7
- 9783030648817
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.