000 04383nam a22005775i 4500
001 978-3-031-43240-8
003 DE-He213
005 20240423130100.0
007 cr nn 008mamaa
008 230918s2023 sz | s |||| 0|eng d
020 _a9783031432408
_9978-3-031-43240-8
024 7 _a10.1007/978-3-031-43240-8
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aTesting Software and Systems
_h[electronic resource] :
_b35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
_cedited by Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2023.
300 _aXIII, 290 p. 64 illus., 40 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14131
505 0 _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.
520 _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.
650 0 _aSoftware engineering.
650 0 _aComputer engineering.
650 0 _aComputer networks .
650 0 _aComputer science.
650 1 4 _aSoftware Engineering.
650 2 4 _aComputer Engineering and Networks.
650 2 4 _aComputer Science Logic and Foundations of Programming.
700 1 _aBonfanti, Silvia.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aGargantini, Angelo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSalvaneschi, Paolo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031432392
776 0 8 _iPrinted edition:
_z9783031432415
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14131
856 4 0 _uhttps://doi.org/10.1007/978-3-031-43240-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c184842
_d184842