Reverse-Engineering EFSMs with Data Dependencies
|
2022 |
Foster, Michael |
Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization
|
2022 |
Kushik, Natalia |
Automatic Test Generation with ASMETA for the Mechanical Ventilator 3 Milano Controller
|
2022 |
Bombarda, Andrea |
Metamorphic Testing of Logic Theorem Prover
|
2022 |
Tazl, Oliver A. |
GROOT: A GDPR-Based Combinatorial Testing Approach
|
2022 |
Daoudagh, Said |
On the Quality of Network Flow Records for IDS Evaluation: A Collaborative Filtering Approach
|
2022 |
Catillo, Marta |
H2020 DIGITbrain — Advanced Digital Twins for Manufacturing
|
2022 |
Ortiz, Antonio M. |
Mining Precise Test Oracle Modelled by FSM
|
2022 |
Timo, Omer Nguena |
Improving Model Inference via W-Set Reduction
|
2022 |
Halm, Moritz |
Using Ant Colony Optimisation to Select Features Having Associated Costs
|
2022 |
Ibias, Alfredo |
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy
|
2022 |
Wang, Wenxi |
Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones
|
2022 |
Patel, Smit |
Solving the Instance Identification Problem in Micro-service Testing
|
2022 |
Vassiliou-Gioles, Theofanis |
The BIECO Conceptual Framework Towards Security and Trust in ICT Ecosystems
|
2022 |
Peres, Ricardo Silva |
NLP-based Testing and Monitoring for Security Checking
|
2022 |
Sadovykh, Andrey |
Specification and Validation of Numerical Algorithms with the Gradual Contracts Pattern
|
2022 |
Fritze, René |
libfsmtest An Open Source Library for FSM-Based Testing
|
2022 |
Bergenthal, Moritz |
Locality-Based Test Selection for Autonomous Agents
|
2022 |
Entekhabi, Sina |
Creation of Human-friendly Videos for Debugging Automated GUI-Tests
|
2022 |
Shi, Jianwei |
Robustness Analysis of Deep Learning Frameworks on Mobile Platforms
|
2022 |
Abyane, Amin Eslami |