Abstract is missing.
- A Rapid Review on Fuzz Security Testing for Software Protocol ImplementationsAlessandro Marchetto 0001. 3-20 [doi]
- Enhancing Synthetic Test Data Generation with Language Models Using a More Expressive Domain-Specific LanguageChao Tan, Razieh Behjati, Erik Arisholm. 21-39 [doi]
- On the Evaluation of Photometric Stereo Applications Testing Using Image ModificationsFranz Wotawa, Ledio Jahaj, Nicole Brosch. 40-51 [doi]
- Seeding Contradiction: A Fast Method for Generating Full-Coverage Test SuitesLi Huang, Bertrand Meyer 0001, Manuel Oriol. 52-70 [doi]
- Automated Testing of Systems of SystemsÖzge Akat, Hasan Sözer. 73-79 [doi]
- Empirical Verification of TQED - A New Test Design Heuristic TechniqueAdam Roman, Michal Mnich, Jaroslaw Hryszko. 80-96 [doi]
- How Do Different Types of Testing Goals Affect Test Case Design?Dia Istanbuly, Max Zimmer, Gregory Gay 0002. 97-114 [doi]
- Multi-device, Robust, and Integrated Android GUI Testing: A Conceptual FrameworkRiccardo Coppola, Luca Ardito, Marco Torchiano. 115-125 [doi]
- RQCODE: Security Requirements Formalization with TestingIldar Nigmatullin, Andrey Sadovykh, Sophie Ebersold, Nan Messe. 126-142 [doi]
- Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and BehaviorEduard Paul Enoiu, Gregory Gay 0002, Jameel Esber, Robert Feldt. 143-159 [doi]
- Who Is Afraid of Test Smells? Assessing Technical Debt from Developer ActionsZhongyan Chen, Suzanne M. Embury, Markel Vigo. 160-175 [doi]
- A Systematic Literature Review on Prioritizing Software Test Cases Using Markov ChainsGerson Barbosa, Erica Ferreira 0001, Luciana Brasil Rebelo dos Santos, Marlon da Silva, Juliana Marino Balera, Nandamudi Vijaykumar. 179-182 [doi]
- Complete Property-Oriented Module TestingFelix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska 0001, Robert Sachtleben. 183-201 [doi]
- Compositionality in Model-Based TestingGijs van Cuyck, Lars van Arragon, Jan Tretmans. 202-218 [doi]
- Prioritizing Test Cases with Markov Chains: A Preliminary InvestigationLuciana Brasil Rebelo dos Santos, Erica Ferreira 0001, Gian Ricardo Berkenbrock, Gerson Barbosa, Marlon da Silva, André Takeshi Endo, Nandamudi Vijaykumar, Catia Trubiani. 219-236 [doi]
- Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMsNatalia Kushik, Nina Yevtushenko 0001, Jorge López. 237-243 [doi]
- Applying Pairwise Combinatorial Testing to Large Language Model TestingBernhard Garn, Ludwig Kampel, Manuel Leithner, Berina Celic, Ceren Çulha, Irene Hiess, Klaus Kieseberg, Marlene Koelbing, Dominik-Philip Schreiber, Michael Wagner 0026, Christoph Wech, Jovan Zivanovic, Dimitris E. Simos. 247-256 [doi]
- CATANA: Replay Testing for the Ethereum BlockchainMorena Barboni, Guglielmo De Angelis, Andrea Morichetta 0001, Andrea Polini. 257-265 [doi]
- GResilience: Trading Off Between the Greenness and the Resilience of Collaborative AI SystemsDiaeddin Rimawi, Antonio Liotta, Marco Todescato, Barbara Russo. 266-273 [doi]
- Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL ApproachMohamed Escheikh, Wiem Taktak, Kamel Barkaoui. 274-288 [doi]