Software Fault Prevention, Verification, and Validation
Description
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.
More details
Other editions
Additional editions
Content
.- 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 Neural
Network DeepDebugger Technique.
.- Fuzzing the Solidity Compiler Solc with Fuzz4All.
.- Diagnosing and Repairing Field Access Hallucinations in LLM-Based
Test Generation.
.- Data-driven and Scenario-based Risk Analysis Considering Uncertainty
in Machine Learning Systems.
.- Similarity Evaluation between Queries and Chunks in RAG Systems.
.- A Support Tool for Verification of Simulation Relations between State
Machines with Maude.
.- Design and Implementation of a Software Tool to Support Agile-SOFL.
.- Model Checking the Two-Phase Commit Protocol for Distributed
Database Systems.
.- FormalVerificationofMeasurement-basedQuantumComputationin
Maude.
