Software Fault Prevention, Verification, and Validation

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

• Erscheinungsdatum: 17.02.2026
• Autor/Autorin: Yuting Chen
• Reihe: Computer Science
• Format: E-Book
• Dateiformat: PDF
• Kopierschutz: Wasserzeichen
• Dateigröße: 15.9 MB
• Verlag: SPRINGER
• Sprache: Englisch
• Umfang: 179 Seiten
• ISBN: 9789819560325
• Lieferung: Sofort per Download
• Hinweis: Sofort per Download lieferbar. Kein physischer Versand.
• Kompatibilität: Lesbar auf Geräten und Apps mit PDF-Unterstützung.