Software Fault Prevention, Verification, and Validation

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

AvYuting Chen,Hiroyuki Okamura

Häftad, Engelska, 2026

Del 16356 i serien Lecture Notes in Computer Science

744 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2026-02-18
Mått:155 x 235 x 11 mm
Vikt:306 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:179
Förlag:Springer Verlag, Singapore
ISBN:9789819560318

Utforska kategorier

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

Innehållsförteckning

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