Software Fault Prevention, Verification, and Validation Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings

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