Testing Software and Systems
Editat de David Clark, Hector Menendez, Ana Rosa Cavallien Limba Engleză Paperback – 10 mai 2022
The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports. The papers are divided into the following topical subheadings: Finite State Machine-based Testing; Test Generation and Selection; AI-based Techniques; Use Cases; Project Reports.
Preț: 564.82 lei
Preț vechi: 706.03 lei
-20% Nou
Puncte Express: 847
Preț estimativ în valută:
99.95€ • 116.56$ • 87.76£
99.95€ • 116.56$ • 87.76£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031046728
ISBN-10: 3031046722
Pagini: 252
Ilustrații: XI, 240 p. 59 illus., 35 illus. in color.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:1st edition 2022
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3031046722
Pagini: 252
Ilustrații: XI, 240 p. 59 illus., 35 illus. in color.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:1st edition 2022
Editura: Springer
Locul publicării:Cham, Switzerland
Cuprins
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.
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.