This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.
The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.
Failure Analysis in CPS Simulink Models.- Test case generation.- A Rapid
Review on Fuzz Security Testing for Software Protocol Implementations.-
Enhancing Synthetic Test Data Generation with Language Models Using aMore
Expressive Domain-Specific Language.- On the Evaluation of Photometric Stereo
Application Testing.- Seeding Contradiction: a fast method for generating
full-coverage test suites.- Test Automation and Design.- Automated Testing of
Systems of Systems.- Empirical Verification of TQED - a New Test Design
Heuristic Technique.- How Do Different Types of Testing Goals Affect Test
Case Design?.- Multi-device, robust, and integrated Android GUI testing: A
conceptualframework.- RQCODE: Security Requirements Formalization with
Testing.- Understanding Problem Solving in Software Testing: An Exploration
ofTester Routines and Behavior.- Who is Afraid of Test Smells? Assessing
Technical Debt fromDeveloper Actions.- Model Based Testing.- A Systematic
Literature Review on prioritizing software test cases using Markov
chains.- Complete Property-Oriented Module Testing.- Compositionality in
Model-Based Testing.- Prioritizing test cases with Markov Chains: a
Preliminary Investigation.- Probabilistic approach for minimizing checking
sequences for nondeterministic FSMs.- AI and Smart Contracts
Testing.- Applying Pairwise Combinatorial Testing to Large Language Model
Testing.- CATANA: Replay Testing for the Ethereum Blockchain.- GResilience:
Trading off between the Greenness and the Resilience of CollaborativeAI
Systems.- Testing Quality of Training in QoE-aware SFC Orchestration based on
DRL Approach.
