


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














