当前位置: 首页 > news >正文

区块链可投会议CCF A--ISSTA 2026 截止1.29 附录用率

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

Thu 29 Jan 2026
Paper submission

Tue 24 - Thu 26 Mar 2026
Author response

Thu 16 Apr 2026
Initial Notification

Thu 21 May 2026
Major Revision Submission

Thu 25 Jun 2026
Final Notification

Thu 23 Jul 2026
Camera Ready

链接:

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

http://www.cnnetsun.cn/news/33845.html

相关文章:

  • PDF转Markdown神器:3分钟解决文档格式转换难题
  • 51、高可用性集群配置与安装指南
  • MinerU升级全攻略:从新手到专家的快速指南
  • ProComponents终极指南:快速构建企业级应用的完整教程
  • Arthas多环境实战部署:从零到精通的效率提升指南
  • ML4W Hyprland配置:打造现代化Linux桌面环境的5个关键步骤
  • PaddleOCR移动端模型微调效果丢失的深度解析与实战解决方案
  • 22、搭建流式音频服务器指南
  • 23、Fedora Core常见问题及解决方法
  • 25、计算机安全、管理与硬件知识全解析
  • 24、CUPS打印服务器管理与配置全解析
  • 25、打印管理与远程访问配置指南
  • 9、本地连接,全球通信:连接到局域网
  • 20、打印服务全解析:从配置到管理
  • 21、Linux 打印服务与内核管理全解析
  • 26、入侵检测全解析:保障系统安全的多重防线
  • 如何成为PHP开发专家:终极成长路线图揭秘
  • 5分钟掌握PyTorch SuperPoint:终极图像特征点检测指南
  • 800个Unity材质球资源完全指南:提升游戏视觉效果的终极方案
  • 42、数学分析中的集合与函数性质研究
  • 7步精通Material-UI:构建专业级海洋数据可视化平台的完整教程
  • Windows API钩子深度解析:MinHook实战性能对比指南
  • Linux 内核中常见地址的设计原理及其API使用
  • 养老院信息|基于springboot + vue养老院信息管理系统(源码+数据库+文档)
  • 优化业务流程的营销智脑创新案例
  • 企业级快速开发平台ruoyi-vue-pro:如何用30天完成传统3-6个月的项目
  • 如何快速掌握OAM Application Scopes:云原生应用边界管理的终极指南
  • Claude Code Router智能路由实战指南:5步构建多模型AI工作流
  • 开源免费!蝴蝶号下载工具 无需安装 绿色无广告
  • 终极Anti-Adblock Killer使用指南:轻松绕过网站广告拦截检测