中国计算机学会（CCF）推荐学术会议-A（软件工程/系统软件/程序设计语言）：ISSTA 2026

ISSTA 2026

The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.

重要信息

CCF推荐：A（软件工程/系统软件/程序设计语言）

录用率：19.4%（107/550，2025年）

时间地点：2026年10月3日-奥克兰·美国

截稿时间：2026年1月29日

大会官网：https://conf.researchr.org/home/issta-2026

Call for Papers

1. AI for Analysis and Testing

Agentic or LLM-based specification inference

Agentic or LLM-based code generation

Agentic or LLM-based software testing

Agentic of LLM-based program analysis

Agentic or LLM-based program repair

2. Analysis and Testing for AI

Testing and analysis of agents or agentic systems

Testing and analysis of ML-model/software hybrid systems

Testing and analysis of ML-components and libraries

Fairness, safety, trustworthiness

3. Software Test Generation

Regression, mutation, and model-based testing

System, unit, and integration testing

Black-, grey-, and white-box fuzzing

Search-based software testing

Symbolic and concolic execution

4. Software Debugging and Repair

Fault localization and debugging

Search-based program repair

Constraint-based program repair

Reverse engineering

Program comprehension

Specification inference

5. Software Verification and Analysis Techniques

Static, dynamic, and empirical program analysis

Program verification, runtime verification, and model checking

Refactoring, transformation, and reduction

Testing and analysis in CI/CD or deployment

Testing and analysis of evolving systems

Mutation testing and analysis

Ecosystem-scale analysis

Non-functional properties (dependability, safety, reliability, and performance)

6. Analysis and Testing for Security

Binary analysis, lifting, and instrumentation

Vulnerability detection (e.g., sanitizers)

Side channels and data leakage

Supply chain analysis

Malware analysis

Obfuscation

7. Domain-specific Analysis and Testing

Testing and analysis of blockchain systems or smart contracts

Testing and analysis of concurrent or distributed systems

Testing and analysis of cyber physical or autonomous systems

Testing and analysis of database or operating systems

Testing and analysis of numerical and scientific applications

Testing and analysis of testing or analysis tools

Testing and analysis of web, mobile, or quantum applications

8. Empirical and User Studies of Testing and Analysis Processes

Software engineering processes (e.g., agile, DevOps)

Green and sustainable technologies

Ethics and values

Software economics

Systematic code review and inspection

Program comprehension and visualization

Submission Guidelines

At the time of submission, each paper should have no more than 18 pages for all text and figures, plus unlimited references, using the following templates: Latex or Word.

Authors using LaTeX should use the sample-acmsmall-conf.tex file (found in the samples folder of the acmart package) with the acmsmall option.We also strongly encourage the use of the review, screen, and anonymous options as well. In sum, you want to use:

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