The 1st International Symposium on Software Fault Prevention, Verification, and Validation


2 ~ 3 December 2024 - Hiroshima, Japan

Welcome to the website of the 1st International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2024)

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 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 Code Generation
  • Formal Verification and Review
  • Testing-Based Formal Verification
  • AI and Specification
  • AI and Code Generation
  • AI and Testing
  • AI and Verification
  • Human-Machine Pair Programming
  • Human-Machine Pair Inspection
  • Supporting Tools
  • Case studies
  • Application experience

Venue

The 1st International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2024) will take place at International Conference Center Hiroshima as a satellite event of ICFEM 2024.

The International Conference Center Hiroshima (ICCH) is located within Peace Memorial Park with the purpose of promoting international exchange and improving civic culture. Equipped with a large hall that can accommodate up to 1,504 people, an international conference hall, and large, medium and small conference rooms, the venue is ideal for concerts, lectures, domestic and international conferences, as well as exhibitions and corporate and organizational meetings. It is widely used for various purposes.


Accommodation

Pending.

Important Dates

Full Paper Submissions: 30 August, 2024

Acceptance / Rejection Notification: 7 October, 2024

Camera-ready Papers: 8 November, 2024


Submission and Publication

Submissions to the symposium must not have been published or be concurrently considered for publication elsewhere. Papers should be written in English and should not exceed 18 pages in the Springer LNCS format. All papers should be submitted using the EasyChair link: Here The proceedings of the symposium will be published in the Springer LNCS series. The details of the symposium can be found in the symposium homepage.

Journal Special Issue

All the accepted papers for SFPVV 2024 will be recommended as submissions to the special issue titled “ Advancements in Formal Methods for System Development” in the journal of Complex Engineering Systems. All the submitted papers will go through the review process specified by the journal and the authors of all the accepted papers to the special issue will receive the following benefits:

1. Waiver for the article processing charges

2. Eligible for the journal’s Best Paper Award (First prize: $400; Second prize: $300)

Cooperations

HU

Supported by Hiroshima University

ICFEM 2024

Symposium Organizing Committee

Program Chair

Shaoying Liu, Hiroshima University, Japan


Program Committee

Pending.