Cantitate/Preț
Produs
Total produse
Vezi coșul
Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings de Silvia Bonfanti

Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings: Lecture Notes in Computer Science, cartea 14131

Editat de Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
en Limba Engleză Paperback – 19 sep 2023
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 45694 lei

Preț vechi: 57118 lei
-20% Nou

Puncte Express: 685
Preț estimativ în valută:
8086€ • 9481$ • 7101£

Carte tipărită la comandă

Livrare economică 07-21 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031432392
ISBN-10: 3031432398
Ilustrații: XIII, 290 p. 64 illus., 40 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.43 kg
Ediția:1st ed. 2023
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

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.