LEADER 04377nam 22006375 450 001 9910746290703321 005 20251113185349.0 010 $a3-031-43240-1 024 7 $a10.1007/978-3-031-43240-8 035 $a(MiAaPQ)EBC30746920 035 $a(Au-PeEL)EBL30746920 035 $a(CKB)28267602000041 035 $a(OCoLC)1398308441 035 $a(DE-He213)978-3-031-43240-8 035 $a(EXLCZ)9928267602000041 100 $a20230918d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTesting Software and Systems $e35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18?20, 2023, Proceedings /$fedited by Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (297 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14131 311 08$aPrint version: Bonfanti, Silvia Testing Software and Systems Cham : Springer International Publishing AG,c2023 9783031432392 320 $aIncludes bibliographical references and index. 327 $aFailure 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14131 606 $aSoftware engineering 606 $aComputer engineering 606 $aComputer networks 606 $aComputer science 606 $aSoftware Engineering 606 $aComputer Engineering and Networks 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aComputer Engineering and Networks. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a004.62 702 $aBonfanti$b Silvia 702 $aGargantini$b Angelo 702 $aSalvaneschi$b Paolo 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910746290703321 996 $aTesting Software and Systems$93568350 997 $aUNINA