default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID33rd 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
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.
last updated on 2025-04-24 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
