Call for Papers: ISSTA 2025 Workshop on Reliable and Trustworthy Software Systems (Ant Group)

From June 25 to 28, 2025, the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) will be held in Trondheim, Norway. ISSTA is a top‑tier, CCF‑A conference in software engineering, established in 1992.

Ant Group is hosting its first workshop at ISSTA and is now soliciting paper submissions.

Call for Papers – Topics

We welcome contributions (including but not limited to) on the following subjects:

Software system reliability, safety, and trustworthiness

Analysis, testing, and verification of trustworthy software

AI‑driven software systems and their trustworthiness

Interpretability of machine‑learning models and software systems

Verification, testing, and analysis techniques for large language models and their interpretability

Dependency and complexity analysis of software systems

Visualization of software systems to enhance interpretability

Runtime analysis, monitoring, and error recovery

Submission Guidelines

Submissions must be made through https://express25.hotcrp.com/ using the double‑blind review format. Accepted paper types:

Research Progress Papers (max 4 pages) : innovative, high‑potential work not yet fully validated.

Industry and Tool Papers (max 4 pages) : real‑world challenges, solutions, or tools applying academic techniques.

Full Technical Papers (max 8 pages) : original, complete, and validated research.

References and appendices are exempt from page limits. At least one author of each accepted paper must register and attend EXPRESS 2025 on site for the paper to be included in the ISSTA 2025 proceedings.

Requirements

All submissions must be original and not under review elsewhere. Papers must be written in English and submitted as PDF files following the specified page limits. Authors should use the ACM Primary Article Template; LaTeX users must start their document with:

\documentclass[sigconf,screen,review,anonymous]{acmart}

Important Dates (AoE)

Submission deadline: March 28, 2025, 23:59 (Friday)

Notification of acceptance: April 28, 2025, 23:59 (Monday)

Final paper deadline: May 5, 2025, 23:59 (Monday)

Workshop date: June 28, 2025 (Saturday)

Organizing Committee (EXPRESS 2025)

Peng Di (Ant Group), Jingling Xue (UNSW), Yu Jiang (Tsinghua University), Zhiquan Zhou (NIO)

Program Committee (EXPRESS 2025)

Sidong Feng (Monash University), Chaoya Jiang (Peking University), Cong Li (Ant Group), Yuekang Li (UNSW), Zeqin Liao (Sun Yat‑sen University), Dan Lin (Sun Yat‑sen University), Puzhuo Liu (Ant Group, Tsinghua University), Yingwei Ma (Alibaba), Mark Huasong Meng (Technical University of Munich), Qingkai Shi (Nanjing University), Xiaoheng Xie (Ant Group), Xiangzhe Xu (Purdue University), Daoguang Zan (ByteDance), Cen Zhang (Georgia Tech), Yuanliang Zhang (National University of Defense Technology), Mingwei Zheng (Purdue University), Yaowen Zheng (Institute of Information Engineering, Chinese Academy of Sciences).