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.