Testing Software and Systems
Springer International Publishing (Verlag)
978-3-031-43239-2 (ISBN)
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.
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 aMore 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 conceptualframework.- RQCODE: Security Requirements Formalization with Testing.- Understanding Problem Solving in Software Testing: An Exploration ofTester 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 CollaborativeAI Systems.- Testing Quality of Training in QoE-aware SFC Orchestration based on DRL Approach.
| Erscheinungsdatum | 20.09.2023 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XIII, 290 p. 64 illus., 40 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 468 g |
| Themenwelt | Informatik ► Software Entwicklung ► Qualität / Testen |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Informatik ► Weitere Themen ► Hardware | |
| Schlagworte | Architecting • architecture verification and validation • Artificial Intelligence • Automata Theory • Combinatorial testing • Compositional testing • Computer Hardware • functional testing • Fuzzing testing • Mobile Testing • Model-Based Testing • Property-oriented testing • regression testing • security testing • Smart Contracts • Software engineering • Software Testing • Software vulnerability • test automation • verification |
| ISBN-10 | 3-031-43239-8 / 3031432398 |
| ISBN-13 | 978-3-031-43239-2 / 9783031432392 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
