企业官网建设流程全解析

Conference：The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

CCF level：CCF A

Categories：软件工程/系统软件/程序设计语言

Year：2026

Conference time：Sat 3 - Fri 9 October 2026 Oakland, California, United States

录用率：

2025 107/550

2024 143/694

Research Areas

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

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

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

Software Debugging and Repair

• Fault localization and debugging

• Search-based program repair

• Constraint-based program repair

• Reverse engineering

• Program comprehension

• Specification inference

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)

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

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

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

Important Date

链接:

https://conf.researchr.org/track/issta-2026/issta-2026-research-papers