Software Fault Prevention, Verification, and Validation

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

YUTING CHEN, Hiroyuki Okamura, Shaoying Liu (Herausgeber)

Buch | Softcover

177 Seiten

2026
Springer Verlag, Singapore
978-981-95-6031-8 (ISBN)

Titel nicht im Sortiment

Artikel merken

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.

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

Erscheint lt. Verlag	24.1.2026
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XX, 177 p.
Verlagsort	Singapore
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Informatik ► Software Entwicklung ► Qualität / Testen
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Debugging • Fault Prevention • program analysis • security • Software engineering • Software Testing • Specification • Validation • verification
ISBN-10	981-95-6031-4 / 9819560314
ISBN-13	978-981-95-6031-8 / 9789819560318
Zustand	Neuware