Software Fault Prevention, Verification, and Validation: Second International Symposium, Sfpvv 2025, Shanghai, China, November 8-9, 2025, Proceedings
暫譯: 軟體缺陷預防、驗證與確認:第二屆國際研討會 Sfpvv 2025,上海,中國,2025年11月8-9日,會議論文集
Chen, Yuting, Okamura, Hiroyuki, Liu, Shaoying
商品描述
This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8-9, 2025.
The 11 full papers included in this book were carefully reviewed and selected from 31 submissions.
They are grouped into the following topics: AI-driven approaches, and their combinations can be explored, established.
商品描述(中文翻譯)
本書為第二屆國際軟體故障預防、驗證與驗證研討會(SFPVV 2025)的經過審稿的會議論文集,該研討會於2025年11月8日至9日在中國上海舉行。
本書收錄的11篇完整論文是從31篇投稿中仔細審核並選出的。
這些論文被分為以下主題:AI 驅動的方法及其組合可以進行探索和建立。