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.

Submission Guidelines

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. 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.

• Regular papers: 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.
• Presentation papers: 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.

List of 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

Committees

Program Chairs

• Yuting Chen, Shanghai Jiaotong University

• Hiroyuki Okamura, Hiroshima University

General Chair

    Shaoying Liu, East China Normal University

Local Arrangement Chair

    Weikai Miao, East China Normal University

Web and Registration Chairs

    Min Zhang, East China Normal University

      Yuxiang Shang, Hiroshima University

Steering Committee

    Tadashi Dohi, Hiroshima University

      Shaoying Liu (Chair),  East China Normal University

     Geguang Pu, East China Normal University

   Tatsuhiro Tsuchiya, University of Osaka

Publication

SFPVV 2025 proceedings will be published by Springer LNCS.

Venue

The conference will be held at DSEI, East China Normal University, Shanghai

Contact

All questions about submissions should be emailed to syliu@sei.ecnu.edu.cn.