Del 16356 i serien Lecture Notes in Computer Science

Software Fault Prevention, Verification, and Validation

Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings

Häftad, Engelska, 2026

AvYuting Chen,Hiroyuki Okamura,Shaoying Liu

949 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025.The 11 full papers included in this book were carefully reviewed and selected from 31 submissions. They are grouped into the following topics: AI-driven approaches, and their combinations can be explored, established.

Produktinformation

Utgivningsdatum2026-02-18
Mått155 x 235 x 11 mm
Vikt306 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor179
FörlagSpringer Verlag, Singapore
ISBN9789819560318

Tillhör följande kategorier

Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

.- Software Analysis..- Impact of IEEE Computer Society in Advancing Technologies,including AI SE based on Modeling with Patterns and MLOps..- Can Generative AI Enhance the Effectiveness of N-Version Programming?..- QRAT: A Reachability Analysis Tool for Quantum Programs..- An Empirical Study on Software Defect Prediction Based on NeuralNetwork DeepDebugger Technique..- Fuzzing the Solidity Compiler Solc with Fuzz4All..- Diagnosing and Repairing Field Access Hallucinations in LLM-BasedTest Generation..- Data-driven and Scenario-based Risk Analysis Considering Uncertaintyin Machine Learning Systems..- Similarity Evaluation between Queries and Chunks in RAG Systems..- A Support Tool for Verification of Simulation Relations between StateMachines with Maude..- Design and Implementation of a Software Tool to Support Agile-SOFL..- Model Checking the Two-Phase Commit Protocol for DistributedDatabase Systems..- FormalVerificationofMeasurement-basedQuantumComputationinMaude.