Computing and Information Technology, Computer Programming / Software Engineering, Software Engineering, Software Testing and Verification
Software Fault Prevention, Verification, and Validation

Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings

, ,
Paperback Published on: 25/02/2025
£54.99
UK delivery included
In stock
Print on demand - Usually dispatched within 7-10 days
Make and edit your lists in your account
wordery
has a fantastic rating on
In stock
Print on demand - Usually dispatched within 7-10 days
wordery
has a fantastic rating on

Synopsis

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.

Publisher information

  • Publisher: Springer Nature Singapore
  • ISBN: 9789819616206
  • Number of pages: 294
  • Dimensions: 234 x 156 x 20 mm
  • Weight: 472g
  • Languages: English