Software Fault Prevention, Verification and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings
Book Details
Delivery Location
Delivery fee: Select location
This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2?3, 2024.
The 18 full papers included in this book were carefully reviewed and selected from 39 submissions. This SFPVV 2024 symposium encourages the exchange of ideas and discussion on how formal methods, testing-based techniques, AI-driven approaches, and their combinations can be explored, established, and refined to achieve the goals of software fault preven tion, verification, and validation.
Get Software Fault Prevention, Verification and Validation by Shaoying Liu at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has 294 pages.
Customers Who Bought This Also Bought
Behavior-Driven Development with Cucumber
KSh 4,700.00
Cloud-native Application Architecture
KSh 8,100.00
Managing the Testing Process – Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
KSh 6,300.00
Debugging
KSh 2,700.00
String Analysis for Software Verification and Security
KSh 14,400.00
Model-Driven Dependability Assessment of Software Systems
KSh 16,200.00
Software Fault Prevention, Verification, and Validation
KSh 10,800.00
Code Clone Analysis
KSh 25,200.00
Fault Detection in Microservice Architectures
KSh 9,900.00
String Analysis for Software Verification and Security
KSh 9,900.00
Software Exorcism
KSh 5,950.00
Testing Software and Systems
KSh 19,800.00
More in This Genre
Behavior-Driven Development with Cucumber
KSh 4,700.00
Cloud-native Application Architecture
KSh 8,100.00
Managing the Testing Process – Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
KSh 6,300.00
Debugging
KSh 2,700.00
String Analysis for Software Verification and Security
KSh 14,400.00
Model-Driven Dependability Assessment of Software Systems
KSh 16,200.00
