001480951 000__ 04486cam\\22005657i\4500
001480951 001__ 1480951
001480951 003__ OCoLC
001480951 005__ 20231031003316.0
001480951 006__ m\\\\\o\\d\\\\\\\\
001480951 007__ cr\cn\nnnunnun
001480951 008__ 230920s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001480951 020__ $$a9783031432408$$q(electronic bk.)
001480951 020__ $$a3031432401$$q(electronic bk.)
001480951 020__ $$z9783031432392
001480951 0247_ $$a10.1007/978-3-031-43240-8$$2doi
001480951 035__ $$aSP(OCoLC)1398308441
001480951 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dWSU
001480951 049__ $$aISEA
001480951 050_4 $$aQA76.76.T48
001480951 08204 $$a005.1$$223/eng/20230920
001480951 1112_ $$aICTSS (Conference)$$n(35th :$$d2023 :$$cBergamo, Italy)
001480951 24510 $$aTesting software and systems :$$b35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings /$$cSilvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi, editors.
001480951 2463_ $$aICTSS 2023
001480951 264_1 $$aCham :$$bSpringer,$$c2023.
001480951 300__ $$a1 online resource (xx, 286 pages) :$$billustrations (some color).
001480951 336__ $$atext$$btxt$$2rdacontent
001480951 337__ $$acomputer$$bc$$2rdamedia
001480951 338__ $$aonline resource$$bcr$$2rdacarrier
001480951 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v14131
001480951 500__ $$aIncludes author index.
001480951 5050_ $$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 from Developer 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.
001480951 506__ $$aAccess limited to authorized users.
001480951 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.
001480951 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 20, 2023).
001480951 650_0 $$aComputer software$$xTesting$$vCongresses.
001480951 650_0 $$aSoftware engineering$$vCongresses.$$vCongresses$$0(DLC)sh2008111658
001480951 655_0 $$aElectronic books.
001480951 655_7 $$aConference papers and proceedings.$$2lcgft
001480951 7001_ $$aBonfanti, Silvia,$$eeditor.$$0(orcid)0000-0001-9679-4551$$1https://orcid.org/0000-0001-9679-4551
001480951 7001_ $$aGargantini, Angelo,$$d1969-$$eeditor.$$1https://orcid.org/0000-0002-4035-0131
001480951 7001_ $$aSalvaneschi, Paolo,$$eeditor.
001480951 830_0 $$aLecture notes in computer science ;$$v14131.$$x1611-3349
001480951 852__ $$bebk
001480951 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-43240-8$$zOnline Access$$91397441.1
001480951 909CO $$ooai:library.usi.edu:1480951$$pGLOBAL_SET
001480951 980__ $$aBIB
001480951 980__ $$aEBOOK
001480951 982__ $$aEbook
001480951 983__ $$aOnline
001480951 994__ $$a92$$bISE