Testing software and systems = 33rd ...
ICTSS (Conference) (2021 :)

FindBook      Google Book      Amazon      博客來     
  • Testing software and systems = 33rd IFIP WG 6. 1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021 : proceedings /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Testing software and systems/ edited by David Clark, Hector Menendez, Ana Rosa Cavalli.
    其他題名: 33rd IFIP WG 6. 1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021 : proceedings /
    其他題名: ICTSS 2021
    其他作者: Clark, David.
    團體作者: ICTSS (Conference)
    出版者: Cham :Springer International Publishing : : 2022.,
    面頁冊數: xi, 240 p. :ill., digital ;24 cm.
    附註: "The conference was organized at University College London in the UK but conducted online because of the prevalence of the Delta variant of the SARS-CoV-2 virus."-- Preface.
    內容註: 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.
    Contained By: Springer Nature eBook
    標題: Computer software - Congresses. - Testing -
    電子資源: https://doi.org/10.1007/978-3-031-04673-5
    ISBN: 9783031046735
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入