区块链可投会议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

相关推荐
暴躁小师兄数据学院11 小时前
【WEB3.0零基础转行笔记】Rust编程篇-第一讲:课程简介
rust·web3·区块链·智能合约
devmoon11 小时前
在 Paseo 测试网上获取 Coretime:On-demand 与 Bulk 的完整实操指南
开发语言·web3·区块链·测试用例·智能合约·solidity
devmoon17 小时前
在 Polkadot Runtime 中添加多个 Pallet 实例实战指南
java·开发语言·数据库·web3·区块链·波卡
Web3VentureView18 小时前
SYNBO Protocol AMA回顾:下一个起点——什么将真正推动比特币重返10万美元?
大数据·人工智能·金融·web3·区块链
软件工程小施同学18 小时前
区块链论文速读 CCF A--VLDB 2025 (1) 附pdf下载
pdf·区块链
blockcoach20 小时前
比特币撕裂,以太坊削藩
区块链
devmoon21 小时前
在 Polkadot 链上添加智能合约功能全指南
安全·区块链·智能合约·polkadot·erc-20·测试网·独立链
TOPGUS1 天前
谷歌SEO第三季度点击率趋势:榜首统治力的衰退与流量的去中心化趋势
大数据·人工智能·搜索引擎·去中心化·区块链·seo·数字营销
中金快讯1 天前
区块链宕机致爆仓提现延迟成常态,Matrixdock交易平台能扛住重压吗?
区块链
devmoon1 天前
Polkadot SDK 平行链模板搭建全流程指南
web3·区块链·sdk·比特币·波卡