Software Fault Prevention, Verification, and Validation
portes grátis
Software Fault Prevention, Verification, and Validation
Second International Symposium, SFPVV 2025, Shanghai, China, November 8-9, 2025, Proceedings
Okamura, Hiroyuki; Chen, Yuting; Liu, Shaoying
Springer Verlag, Singapore
02/2026
179
Mole
Inglês
9789819560318
15 a 20 dias
Descrição não disponível.
.- 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.
.- 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Software Engineering;Specification;Fault Prevention;Verification;Validation;Software Testing;Program Analysis;Debugging;Security
.- 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.
.- 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
