Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /

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 a...

Olles dieđut

Furkejuvvon:
Bibliográfalaš dieđut
Searvvušdahkki: SpringerLink (Online service)
Eará dahkkit: Bonfanti, Silvia (Doaimmaheaddji), Gargantini, Angelo (Doaimmaheaddji), Salvaneschi, Paolo (Doaimmaheaddji)
Materiálatiipa: Elektrovnnalaš E-girji
Giella:eaŋgalasgiella
Almmustuhtton: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Preanttus:1st ed. 2023.
Ráidu:Lecture Notes in Computer Science, 14131
Fáttát:
Liŋkkat:https://doi.org/10.1007/978-3-031-43240-8
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Sisdoallologahallan:
  • 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.