EXPRESS 2025

Call for Papers

Topics of Interest

We invite submissions on topics including, but not limited to:

• Dependability, safety, and reliability in software systems
• Analysis, testing, and verification techniques for trustworthy software
• Trustworthy AI for software systems and software systems for AI
• Interpretability and explainability of machine learning models and software systems
• Explainability of LLM-based verification, testing, and analysis techniques
• Dependency and complexity analysis, discovery, and mining
• Software and systems visualization for enhanced explainability
• Runtime analysis, monitoring, and error recovery

Submission Guidelines

Submission Link: https://express25.hotcrp.com/

All papers will be submitted via HotCRP and be reviewed in a double-blinded manner.

We welcome the following types of submissions:

• Work-in-progress papers (max. 4 pages): Novel, high-potential research not yet fully validated.
• Industry & tool papers (max. 4 pages): Practical challenges, solutions, or tools facilitating industry adoption of academic techniques.
• Full papers (max. 8 pages): Original, complete, and validated research.

All submissions allow unlimited references and appendices.

At least one author of each accepted paper must register and present at EXPRESS 2025 for the paper to be included in the accompanying proceedings of ISSTA’25.

Requirements

Originality: All submissions must be original and not under review elsewhere.
Submission Format:
- Submissions must be in English and PDF format, adhering to the specified page limits.
- Authors should use the ACM Primary Article Template from the ACM Proceedings Template page. Word users should use the Interim Template, while LaTeX users should follow the sample-sigconf.tex example. Use the following LaTeX code at the start of your document:

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