Testing Software and Systems
Springer International Publishing (Verlag)
978-3-030-64880-0 (ISBN)
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.
| Erscheinungsdatum | 04.01.2021 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XII, 317 p. 104 illus., 64 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 510 g |
| Themenwelt | Informatik ► Software Entwicklung ► Qualität / Testen |
| Schlagworte | Applications • architecture verification and validation • Artificial Intelligence • Communication Systems • computer programming • Computer Science • Computer Security • conference proceedings • cryptography • Data Security • Embedded Systems • Informatics • Model Checking • Network Protocols • Network Security • Research • Signal Processing • software architecture • Software Design • Software engineering • verification |
| ISBN-10 | 3-030-64880-X / 303064880X |
| ISBN-13 | 978-3-030-64880-0 / 9783030648800 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
