The 2nd International Symposium on Software Fault Prevention, Verification, and Validation


8 ~ 9 November 2025 - Shanghai, China

Welcome to the website of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2025)

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.

Scope and Topics

Authors are invited to submit technical papers describing original and unpublished work on, but not limited to, the following topics:

  • Specification and Prototyping
  • Specification and Testing
  • Refinement and Evolution
  • Formal Verification and Review
  • Testing-Based Formal Verification
  • Bug Prediction and Reliability
  • Modeling
  • AI and Specification
  • AI and Code Generation
  • AI and Testing
  • AI and Verification
  • Human-Machine Pair Programming
  • Human-Machine Pair Review
  • Supporting Tools
  • Case studies
  • Application experience

Keynote Speakers

Jian Zang is a professor at the Institute of Software, Chinese Academy of Sciences, China.

Title: TBD

Abstract:

TBD

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.

Important Dates

  • Full/Regular Paper Track

    • Submissions: 25 August 2025

    Notification: 29 September 2025

    Camera-ready: 20 October 2025

  • Presentation Track

    • Submissions: 15 September 2025

    Notification: 8 October 2025

    Submission and Publication

    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.

  • A regular paper must not have been published or be concurrently considered for publication elsewhere. Each regular paper should not exceed 18 pages (including references) in the Springer LNCS format.
  • A presentation paper is not required to report mature research results but expected to include new ideas or progress in ongoing research projects. Each presentation paper must provide a clear title and an extended abstract in 2 pages in the Springer LNCS format.

    • Cooperations

    IPJ     HU

    Supported by East China Normal University

    Hiroshima University

    Symposium Organizers

    Steering Committee

    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

    General Chair

    Shaoying Liu, East China Normal University, China

    Program Chairs

    Yuting Chen, Shanghai Jiao Tong University, China
    Hiroyuki Okamura, Hiroshima University, Japan

    Local Arrangement Chair

    Weikai Miao, East China Normal University, China

    Web and Registration Chairs

    Min Zhang, East China Normal University, China
    Yuxiang Shang, Hiroshima University, Japan

    Program Committee

    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