Testing Software and Systems : 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings / / edited by Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi

• Pubblicazione: Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
• Edizione: 1st ed. 2023.
• Descrizione fisica: 1 online resource (297 pages)
• Disciplina: 004.62
• Soggetto topico: Software engineering; Computer engineering; Computer networks; Computer science; Software Engineering; Computer Engineering and Networks; Computer Science Logic and Foundations of Programming
• Persona (resp. second.): BonfantiSilvia; GargantiniAngelo; SalvaneschiPaolo
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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 a More 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 conceptual framework -- RQCODE: Security Requirements Formalization with Testing -- Understanding Problem Solving in Software Testing: An Exploration of Tester 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 Collaborative AI Systems -- Testing Quality of Training in QoE-aware SFC Orchestration based on DRL Approach.
• Sommario/riassunto: 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.
• Titolo autorizzato: Testing Software and Systems
• ISBN: 3-031-43240-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910746290703321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Computer Science, . 1611-3349 ; ; 14131