![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
33rd ICTSS 2021: London, UK
- David Clark
, Héctor D. Menéndez
, Ana Rosa Cavalli:
Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings. Lecture Notes in Computer Science 13045, Springer 2022, ISBN 978-3-031-04672-8
Finite State Machine-based Testing
- Moritz Bergenthal
, Niklas Krafczyk
, Jan Peleska
, Robert Sachtleben
:
libfsmtest An Open Source Library for FSM-Based Testing. 3-19 - Omer Nguena Timo:
Mining Precise Test Oracle Modelled by FSM. 20-36 - Michael Foster
, John Derrick
, Neil Walkinshaw
:
Reverse-Engineering EFSMs with Data Dependencies. 37-54 - Natalia Kushik, Nina Yevtushenko, Jorge López:
Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. 55-61
Test Generation and Selection
- Andrea Bombarda
, Silvia Bonfanti
, Angelo Gargantini
:
Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. 65-72 - Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi, Thomas Arts:
Locality-Based Test Selection for Autonomous Agents. 73-89 - Moritz Halm, Rafael S. Braz
, Roland Groz, Catherine Oriat, Adenilso Simão:
Improving Model Inference via W-Set Reduction. 90-105 - Alfredo Ibias
, Luis Llana
, Manuel Núñez
:
Using Ant Colony Optimisation to Select Features Having Associated Costs. 106-122 - Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov:
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. 123-130 - Oliver A. Tazl
, Franz Wotawa
:
Metamorphic Testing of Logic Theorem Prover. 131-137
AI-based Techniques
- Jianwei Shi
, Kurt Schneider
:
Creation of Human-friendly Videos for Debugging Automated GUI-Tests. 141-147 - Smit Patel
, Roopak Sinha
:
Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones. 148-159 - Amin Eslami Abyane, Hadi Hemmati:
Robustness Analysis of Deep Learning Frameworks on Mobile Platforms. 160-177
Use Cases
- René Fritze
, Stephan Rave
:
Specification and Validation of Numerical Algorithms with the Gradual Contracts Pattern. 181-188 - Theofanis Vassiliou-Gioles
:
Solving the Instance Identification Problem in Micro-service Testing. 189-195 - Marta Catillo, Andrea Del Vecchio, Antonio Pecchia, Umberto Villano:
On the Quality of Network Flow Records for IDS Evaluation: A Collaborative Filtering Approach. 196-209 - Said Daoudagh
, Eda Marchetti
:
GROOT: A GDPR-Based Combinatorial Testing Approach. 210-217
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.