8 ~ 9 November 2025 - Shanghai, China
Software fault prevention, verification, and validation are essential and important approaches to ensuring software productivity, reliability, and qualities. Fault prevention focuses on the issues of how to prevent the introduction and occurrence of faults in software systems. Verification is a means to rigorously check whether software systems satisfy their specification or properties. Validation refers to the technologies and activities for confirming whether the behavior and performance of software systems satisfy the user’s requirements. Various techniques and supporting tools have been developed to fulfill the tasks of software fault prevention, verification, and validation, but many difficulties and open problems remain unaddressed.
This symposium aims to invite researchers and practitioners working on software quality assurance to exchange ideas and to discuss how formal approaches, testing-based approaches, AI approaches, and their combinations can be studied, established, and supported to fulfill the goals of fault prevention, verification, and validation. All people who are interested in the topics mentioned above are welcome to submit papers and to participate in the symposium.
Authors are invited to submit technical papers describing original and unpublished work on, but not limited to, the following topics:
Please contact Prof. Shaoying Liu by email at syliu@sei.ecnu.edu.cn regarding any issues in relation to registration and payment as well as invitation letter for visa application (if applicable).
1.Each accepted paper for SFPVV 2025 symposium must have at least one author registered for SFPVV 2025 in the category of Author Registration by the indicated due date. This policy applies to each accepted paper, NOT each author.
2.All the registrations and payments should be made using the online registration system provided in the SFPVV 2025 homepage. The online registration supports Credit Card payment only. Not expected, but just in case that the online registration and payment cannot be made for a good reason, other means for payment (wire-transfer, cheque, online-transfer and so on) can be considered. In that case, please contact Prof. Shaoying Liu by email (syliu@sei.ecnu.edu.cn) as early as possible. Registration can be considered completed only after the full payment has been received.
3.All the fees and payments are in Chinese Yuan (CNY).
4.Registration cancelation policy: Registration fees will be refunded only if the cancellation request is submitted in writing by email with a good reason and no later than 20th October 2025. Cancellations will be subject to a cancellation fee to cover administrative charges. No refunds will be issued for cancellation requests received after 20th October 2025.
Select only one of the items below except for SFPVV 2025 banquet ticket.
Author RegistrationDue | Price | |
---|---|---|
SFPVV 2025 Author for paper publication in the proceedings | 10 October 2025 | 2,500 CNY |
SFPVV 2025 Author for paper presentation | 20 October 2025 | 2,000 CNY |
Early (Due: 25th October 2025) | Late (Due: 5th November 2025) | |
---|---|---|
SFPVV 2025 General | 2,000 CNY | 2,500 CNY |
SFPVV 2025 banquet ticket: 500 CNY per ticket
Explanations of all the items above:1.The SFPVV 2025 registration fee covers an electronic copy of the SFPVV 2025 proceedings, attendance to all SFPVV 2025 symposium sessions, lunches and the banquet of SFPVV 2025.
2.SFPVV 2025 banquet ticket can be purchased independently for any number you need.
3.If you need additional banquet tickets or have special dietary requirements (e.g., halal, vegetarian), please contact Prof. Shaoying Liu (syliu@sei.ecnu.edu.cn) before 25 October.
Click here to start your registration
If you require a visa to enter China, please consult with your local Chinese Embassy or Consulate (or visit their website) to determine the specific documents needed from the SFPVV 2025 organizing committee.
After receiving the above confirmation, please reach out to SFPVV 2025 General Chair Shaoying Liu at syliu@sei.ecnu.edu.cn with the subject line “Visa Application Document Request.” In your email, please specify the exact documents you require and, if possible, attach any necessary forms that the conference organizer needs to complete.
The 2nd International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2025) will take place in Dishui Lake International Software Engineering Institute, East China Normal University.
Dishui Lake Campus was jointly established by the Lin-gang New Area Administrative Committee, East China Normal University, and Gangcheng Group on June 18, 2024. The School adopts a new education model driven by industry needs and characterized by close integration of industry and education. It establishes an operational system that promotes deep integration of science and education and supports social development. The School strives to build a leading base for cultivating top software talent, an internationally renowned center for software technology innovation, a global hub for outstanding software experts, and a key platform for education–industry integration in critical software fields.
Distance | |
---|---|
上海滴水湖万枫酒店 (Fairfield by Marriott) | 2 minutes on foot |
上海滴水湖斯南格尔精选酒店 (Snanger Collection Hotel) | 20 minutes on foot/ 6 minutes by car |
Jian Zhang is a research professor with the Institute of Software, Chinese Academy of Sciences (ISCAS), and an adjunct professor with the University of Chinese Academy of Sciences (UCAS). His research interests include software testing, program analysis, automated reasoning and constraint solving. He has served on the program committees of well-known international conferences such as ICSE, ISSTA, ISSRE, VSTTE, FM, ICFEM, IJCAR, CADE, SAT and QSIC/QRS. Currently, he serves on the editorial boards of several journals including Frontiers of Computer Science, Journal of Computer Science and Technology, and Chinese Journal of Computers. He has published several books, including Automatic Generation of Combinatorial Test Data (with Zhiqiang Zhang and Feifei Ma), Logic in Computer Science (with Hantao Zhang).
Title: Software Analysis
Abstract:
Software analysis is an important class of techniques for preventing faults in software. In particular, various static program analysis methods are quite effective for identifying bugs before the software is deployed. This talk will give an overview of our works on the analysis of C/C++ programs and Android apps. Then I will discuss various issues such as benchmarking, false warning elimination, cross-language analysis, and the use of AI techniques in software analysis.
Hironori Washizaki is the 2025 IEEE Computer Society (CS) president. He is a professor and the associate dean of the Research Promotion Division at Waseda University. He is a visiting professor at the National Institute of Informatics and an advisor at the University of Human Environments. He also works in the industry as an outside director and advisor at eXmotion and SI&C. He has led professional and educational activities at the IEEE CS, including the evolution of the Guide to the Software Engineering Body of Knowledge (SWEBOK) and the CS Juniors program. He has led many academia-industry joint research and large-funded projects in systems and software requirements, design, reuse, quality assurance, and AI software engineering. He leads a professional IoT/AI/DX education project called “Smart SE.” Since 2015, he has been the convenor of ISO/IEC/JTC1/SC7/WG20 to standardize bodies of knowledge and certifications in systems and software engineering.
Title: Impact of IEEE Computer Society in Advancing Technologies, including AI SE based on Modeling with Patterns and MLOps
Abstract:
This talk first provides an overview of IEEE Computer Society’s strategic areas, including engaging our members, engaging the industry, and leading new areas such as AI and Society. Then, the talk explains the latest version of the Technology Predictions 2025, which foresees 22 breakthrough technologies (incl. LLM/AI Agents) to shape the future of our world for decades to come, and the Guide to the Software Engineering Body of Knowledge (SWEBOK Guide) V4.0, which reflects the current state of generally accepted knowledge, including a new topic, AI and Software Engineering (SE). Then, as a part of AI and SE, the talk presents AI software engineering, with a particular focus on a multi-view modeling framework and engineering patterns for Machine Learning and LLM systems (including design patterns and assurance argument patterns), with ML pipeline integration, to address multi-dimensional aspects and the probabilistic nature of ML/LLM, and its experimentative development approach involving ML training, performance monitoring, repair pipelines, and security risk management.
Submission Deadline: 1 September 2025 (Strict)
Notification: 29 September 2025
Camera-ready: 20 October 2025
Submissions: 15 September 2025
Notification: 8 October 2025
Two types of submissions are possible: presentation papers and regular papers. Both types of papers should be written in English. All papers should be submitted using the EasyChair link: here. Accepted presentation papers will not be included in the proceedings of the symposium; only the accepted regular papers will be included in the proceedings, which will be published in the Springer LNCS series. The details of the symposium can be found in the symposium homepage.
Tadashi Dohi, Hiroshima University, Japan
Shaoying Liu (Chair), East China Normal University, China
Geguang Pu, East China Normal University, China
Tatsuhiro Tsuchiya, University of Osaka, Japan
Shaoying Liu, East China Normal University, China
Yuting Chen, Shanghai Jiao Tong University, China
Hiroyuki Okamura, Hiroshima University, Japan
Weikai Miao, East China Normal University, China
Min Zhang, East China Normal University, China
Yuxiang Shang, Hiroshima University, Japan
Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Yuting Chen, Shanghai Jiao Tong University, China
Yoonsik Cheon, University of Texas at El Paso, United States
Yujun Dai, Hiroshima University, Japan
Jin Song Dong, National University of Singapore, Singapore
Mara Downing, University of California Santa Barbara, United States
Dingbang Fang, Fujian Normal University, China
Sun Jun, Singapore Management University, Singapore
Jingyue Li, Norwegian University of Science and Technology, Norway
Jiandong Li, Peking University, China
Yang Li, Hiroshima University, Japan
Chen-Kai Lin, Academia Sinica, Taiwan
Ai Liu, Nanjing University of Aeronautics and Astronautics, China
Haiyi Liu, Jiangsu Second Normal University, China
Shaoying Liu, East China Normal University, China
Fumiko Nagoya, Nihon University, Japan
Shin Nakajima, National Institute of Informatics, Japan
Kazuhiro Ogata, JAIST, Japan
Hiroyuki Okamura, Hiroshima University, Japan
Jun Pang, University of Luxembourg, Luxembourg
Lei Rao, Southwest Petroleum University, China
Yuji Sato, Hosei University, Japan
Wuwei Shen, Western Michigan University, United States
Xinfeng Shu, Xi’an University of Posts and Telecommunications, China
Tatsuhiro Tsuchiya, Osaka University, Japan
Pingyan Wang, Guangdong University of Petrochemical Technology, China
Xi Wang, Shanghai University, China
Zhen You, Jiangxi Normal University, China
Tao Zhang, Macau University of Science and Technology, Macau SAR
Jianjun Zhao, Kyushu University, Japan