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:
\documentclassacmsmall,screen,review,anonymous{acmart}