news 2026/6/10 13:48:21

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

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
区块链可投会议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

版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/6/8 13:24:42

终极Markdown幻灯片制作工具:Marp完全指南

终极Markdown幻灯片制作工具:Marp完全指南 【免费下载链接】marp The site of classic Markdown presentation writer app 项目地址: https://gitcode.com/gh_mirrors/ma/marp 想要用最简单的方式制作专业幻灯片吗?Marp正是你需要的解决方案&…

作者头像 李华
网站建设 2026/6/10 13:42:02

40、服务器性能监控与优化全解析

服务器性能监控与优化全解析 在服务器管理和运维过程中,性能监控与优化是至关重要的环节。它能够帮助我们及时发现服务器运行中的问题,确保服务器的稳定运行和高效性能。以下将详细介绍如何对服务器的内存和存储性能进行监控与分析。 1. 内核内存分析 为了深入了解内核的工…

作者头像 李华
网站建设 2026/6/10 2:08:09

45、Bash Shell脚本:变量与输入处理全解析

Bash Shell脚本:变量与输入处理全解析 在Bash Shell脚本编程中,变量和输入的处理是非常重要的部分。下面将详细介绍如何在脚本中使用参数、获取用户输入、进行命令替换以及使用各种操作符来处理变量。 脚本参数的使用 在运行脚本时,可以在命令行指定参数。在脚本中,可以…

作者头像 李华
网站建设 2026/6/6 10:12:49

46、Bash脚本计算与控制结构全解析

Bash脚本计算与控制结构全解析 1. Bash脚本中的计算方法 在Bash脚本里,能够进行简单计算,尽管无法替代电子表格程序,但在特定场景下很实用,比如多次执行命令或者确保命令成功执行时计数器自增。下面为你详细介绍几种计算方法。 1.1 使用计数器示例 以下是一个简单的计数…

作者头像 李华
网站建设 2026/6/7 16:35:38

ERNIE 4.5横空出世:异构MoE架构掀起企业级AI效率革命

ERNIE 4.5横空出世:异构MoE架构掀起企业级AI效率革命 【免费下载链接】ERNIE-4.5-21B-A3B-Paddle 项目地址: https://ai.gitcode.com/hf_mirrors/baidu/ERNIE-4.5-21B-A3B-Paddle 导语 百度ERNIE 4.5系列大模型以"异构混合专家架构2-bit无损量化"…

作者头像 李华
网站建设 2026/6/9 22:10:32

Go-Ansible:在Golang中无缝集成Ansible的终极指南

Go-Ansible:在Golang中无缝集成Ansible的终极指南 【免费下载链接】go-ansible Go-ansible is a Go package that enables the execution of ansible-playbook or ansible commands directly from Golang applications. It supports a wide range of options for ea…

作者头像 李华