


default search action
35th ICTSS 2023: Bergamo, Italy
- Silvia Bonfanti
, Angelo Gargantini
, Paolo Salvaneschi:
Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings. Lecture Notes in Computer Science 14131, Springer 2023, ISBN 978-3-031-43239-2
Test Case Generation
- Alessandro Marchetto
:
A Rapid Review on Fuzz Security Testing for Software Protocol Implementations. 3-20 - Chao Tan
, Razieh Behjati
, Erik Arisholm:
Enhancing Synthetic Test Data Generation with Language Models Using a More Expressive Domain-Specific Language. 21-39 - Franz Wotawa
, Ledio Jahaj
, Nicole Brosch
:
On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications. 40-51 - Li Huang, Bertrand Meyer
, Manuel Oriol:
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. 52-70
Test Automation and Design
- Özge Akat
, Hasan Sözer
:
Automated Testing of Systems of Systems. 73-79 - Adam Roman
, Michal Mnich
, Jaroslaw Hryszko
:
Empirical Verification of TQED - A New Test Design Heuristic Technique. 80-96 - Dia Istanbuly, Max Zimmer, Gregory Gay
:
How Do Different Types of Testing Goals Affect Test Case Design? 97-114 - Riccardo Coppola
, Luca Ardito
, Marco Torchiano
:
Multi-device, Robust, and Integrated Android GUI Testing: A Conceptual Framework. 115-125 - Ildar Nigmatullin, Andrey Sadovykh, Sophie Ebersold, Nan Messe:
RQCODE: Security Requirements Formalization with Testing. 126-142 - Eduard Paul Enoiu
, Gregory Gay
, Jameel Esber, Robert Feldt
:
Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior. 143-159 - Zhongyan Chen
, Suzanne M. Embury
, Markel Vigo
:
Who Is Afraid of Test Smells? Assessing Technical Debt from Developer Actions. 160-175
Model Based Testing
- Gerson Barbosa
, Erica Ferreira
, Luciana Brasil Rebelo dos Santos
, Marlon da Silva, Juliana Marino Balera, Nandamudi Vijaykumar
:
A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains. 179-182 - Felix Brüning
, Mario Gleirscher
, Wen-ling Huang
, Niklas Krafczyk
, Jan Peleska
, Robert Sachtleben
:
Complete Property-Oriented Module Testing. 183-201 - Gijs van Cuyck, Lars van Arragon, Jan Tretmans:
Compositionality in Model-Based Testing. 202-218 - Luciana Brasil Rebelo dos Santos
, Erica Ferreira
, Gian Ricardo Berkenbrock
, Gerson Barbosa
, Marlon da Silva
, André Takeshi Endo, Nandamudi Vijaykumar
, Catia Trubiani
:
Prioritizing Test Cases with Markov Chains: A Preliminary Investigation. 219-236 - Natalia Kushik, Nina Yevtushenko, Jorge López:
Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. 237-243
AI and Smart Contracts Testing
- Bernhard Garn, Ludwig Kampel, Manuel Leithner, Berina Celic, Ceren Çulha, Irene Hiess, Klaus Kieseberg, Marlene Koelbing, Dominik-Philip Schreiber, Michael Wagner
, Christoph Wech, Jovan Zivanovic, Dimitris E. Simos:
Applying Pairwise Combinatorial Testing to Large Language Model Testing. 247-256 - Morena Barboni
, Guglielmo De Angelis
, Andrea Morichetta
, Andrea Polini
:
CATANA: Replay Testing for the Ethereum Blockchain. 257-265 - Diaeddin Rimawi
, Antonio Liotta
, Marco Todescato
, Barbara Russo
:
GResilience: Trading Off Between the Greenness and the Resilience of Collaborative AI Systems. 266-273 - Mohamed Escheikh, Wiem Taktak, Kamel Barkaoui:
Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach. 274-288

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.