E-Book, Englisch, Band 13045, 240 Seiten, eBook
Clark / Menendez / Cavalli Testing Software and Systems
1. Auflage 2022
ISBN: 978-3-031-04673-5
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings
E-Book, Englisch, Band 13045, 240 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-04673-5
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Finite State Machine-based Testing.- Libfsmtest - An Open Source Library for FSM-based Testing.- Mining Precise Test Oracle Modelled by FSM.-Reverse-Engineering EFSMs with Data Dependencies.- Testing against non-deterministic FSMs: a probabilistic approach for test suite minimization.- Test Generation and Selection.- Automatic test generation with Asmeta for the Mechanical Ventilator Milano controller.- Locality-based Test Selection for Autonomous Agents.- Improving model inference via W-set reduction.- Using Ant Colony Optimisation to Select Features having Associated Costs.- Initial Results on Counting Test Orders for Order-Dependent Flaky Tests using Alloy.- Metamorphic Testing of Logic Theorem Prover.- AI-based Techniques .- Creation of Human-friendly Videos for Debugging Automated GUI-Tests.- Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones.- Robustness Analysis of Deep Learning Frameworks on Mobile Platforms.- Use Cases .- Specification and validation of numerical algorithms with the Gradual Contracts Pattern.- Solving the instance identi cation problem in micro-service testing.- On the Quality of Network Flow Records for IDS Evaluation: a Collaborative Filtering Approach.- GROOT: A GDPR-based Combinatorial Testing Approach.- APPENDIX Project Reports .- H2020 DIGITbrain Advanced Digital Twins for Manufacturing.- Definition and Assessment of Security and Service Level Agreements.- Attack configuration Engine for 5G networks.- The BIECO Conceptual Framework Towards Security and Trust in ICT Ecosystems.- Industrial Machine Learning for Enterprises (IML4E).- NLP-based Testing and Monitoring for Security Checking.