Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2â3, 2024, Proceedings
Shaoying Liu
āĻĢā§āĻŦā§ā§°ā§ ā§¨ā§Ļā§¨ā§Ģ ¡ Springer Nature
āĻāĻŦā§āĻ
294
āĻĒā§āĻˇā§āĻ āĻž
reportāĻŽā§āĻ˛ā§āĻ¯āĻžāĻāĻāĻ¨ āĻā§°ā§ āĻĒā§°ā§āĻ¯āĻžāĻ˛ā§āĻāĻ¨āĻž āĻ¸āĻ¤ā§āĻ¯āĻžāĻĒāĻ¨ āĻā§°āĻž āĻšā§ā§ąāĻž āĻ¨āĻžāĻ  āĻ
āĻ§āĻŋāĻ āĻāĻžāĻ¨āĻ
āĻāĻ āĻāĻŦā§āĻāĻāĻ¨ā§° āĻŦāĻŋāĻˇā§ā§
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.
āĻāĻ āĻāĻŦā§āĻāĻāĻ¨āĻ āĻŽā§āĻ˛ā§āĻ¯āĻžāĻāĻāĻ¨ āĻā§°āĻ
āĻāĻŽāĻžāĻ āĻāĻĒā§āĻ¨āĻžā§° āĻŽāĻ¤āĻžāĻŽāĻ¤ āĻāĻ¨āĻžāĻāĻāĨ¤
āĻĒāĻĸāĻŧāĻžā§° āĻ¨āĻŋāĻ°ā§āĻĻā§āĻļāĻžā§ąāĻ˛ā§
āĻ¸ā§āĻŽāĻžā§°ā§āĻāĻĢâāĻ¨ āĻā§°ā§ āĻā§āĻŦāĻ˛ā§āĻ
Android āĻā§°ā§ iPad/iPhoneā§° āĻŦāĻžāĻŦā§ Google Play Books āĻāĻĒāĻā§ āĻāĻ¨āĻˇā§āĻāĻ˛ āĻā§°āĻāĨ¤ āĻ āĻ¸ā§āĻŦāĻ¯āĻŧāĻāĻā§āĻ°āĻŋāĻ¯āĻŧāĻāĻžā§ąā§ āĻāĻĒā§āĻ¨āĻžā§° āĻāĻāĻžāĻāĻŖā§āĻā§° āĻ¸ā§āĻ¤ā§ āĻāĻŋāĻāĻ āĻšāĻ¯āĻŧ āĻā§°ā§ āĻāĻĒā§āĻ¨āĻŋ āĻ¯'āĻ¤ā§ āĻ¨āĻžāĻĨāĻžāĻāĻ āĻ¤'āĻ¤ā§āĻ āĻā§āĻ¨ā§ āĻ
āĻĄāĻŋāĻ
'āĻŦā§āĻ āĻ
āĻ¨āĻ˛āĻžāĻāĻ¨ āĻŦāĻž āĻ
āĻĢāĻ˛āĻžāĻāĻ¨āĻ¤ āĻļā§āĻ¨āĻŋāĻŦāĻ˛ā§ āĻ¸ā§āĻŦāĻŋāĻ§āĻž āĻĻāĻŋāĻ¯āĻŧā§āĨ¤
āĻ˛ā§āĻĒāĻāĻĒ āĻā§°ā§ āĻāĻŽā§āĻĒāĻŋāĻāĻāĻžā§°
āĻāĻĒā§āĻ¨āĻŋ āĻāĻŽā§āĻĒāĻŋāĻāĻāĻžā§°ā§° ā§ąā§āĻŦ āĻŦā§āĻ°āĻžāĻāĻāĻžā§° āĻŦā§āĻ¯ā§ąāĻšāĻžā§° āĻā§°āĻŋ Google PlayāĻ¤ āĻāĻŋāĻ¨āĻž āĻ
āĻĄāĻŋāĻ
'āĻŦā§āĻāĻ¸āĻŽā§āĻš āĻļā§āĻ¨āĻŋāĻŦ āĻĒāĻžā§°ā§āĨ¤
āĻ-ā§°ā§āĻĄāĻžā§° āĻā§°ā§ āĻ
āĻ¨ā§āĻ¯ āĻĄāĻŋāĻāĻžāĻāĻ
Kobo eReadersā§° āĻĻā§°ā§ āĻ-āĻāĻŋā§āĻžāĻāĻšā§ā§° āĻĄāĻŋāĻāĻžāĻāĻāĻ¸āĻŽā§āĻšāĻ¤ āĻĒā§āĻŋāĻŦāĻ˛ā§, āĻāĻĒā§āĻ¨āĻŋ āĻāĻāĻž āĻĢāĻžāĻāĻ˛ āĻĄāĻžāĻāĻ¨āĻ˛âāĻĄ āĻā§°āĻŋ āĻ¸ā§āĻāĻā§ āĻāĻĒā§āĻ¨āĻžā§° āĻĄāĻŋāĻāĻžāĻāĻāĻ˛ā§ āĻ¸ā§āĻĨāĻžāĻ¨āĻžāĻ¨ā§āĻ¤ā§°āĻŖ āĻā§°āĻŋāĻŦ āĻ˛āĻžāĻāĻŋāĻŦāĨ¤ āĻ¸āĻŽā§°ā§āĻĨāĻŋāĻ¤ āĻ-ā§°āĻŋāĻĄāĻžā§°āĻ˛ā§ āĻĢāĻžāĻāĻ˛āĻā§ āĻā§āĻ¨ā§āĻā§ āĻ¸ā§āĻĨāĻžāĻ¨āĻžāĻ¨ā§āĻ¤ā§° āĻā§°āĻŋāĻŦ āĻāĻžāĻ¨āĻŋāĻŦāĻ˛ā§ āĻ¸āĻšāĻžāĻ¯āĻŧ āĻā§āĻ¨ā§āĻĻā§ā§°āĻ¤ āĻĨāĻāĻž āĻ¸āĻŦāĻŋāĻļā§āĻˇ āĻ¨āĻŋā§°ā§āĻĻā§āĻļāĻžā§ąāĻ˛ā§ āĻāĻžāĻāĻāĨ¤
