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.
