Software fault prevention, verification, and validation first international symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, proceedings - Liu, Shaoying (Springer, 2025)