Cooperations
Supported by East China Normal University
Hiroshima University
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:
Submissions: 25 August 2025
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.
Supported by East China Normal University
Hiroshima University
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
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
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