news 2026/7/12 13:41:07

区块链可投会议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/7/12 6:20:46

按调用次数分成:每次inferrence你都能获得收益

按调用次数分成:每次inference你都能获得收益 在AI模型正从“技术实验”走向“商业落地”的今天,一个新范式正在悄然成型:训练不再是一次性投入,而是一种可持续增值的数字资产。每一次推理请求,不仅是功能执行&#xf…

作者头像 李华
网站建设 2026/7/10 21:14:14

39、Linux 系统性能监控与分析全解析

Linux 系统性能监控与分析全解析 在 Linux 系统管理中,性能监控与分析是确保系统高效运行的关键环节。本文将深入探讨如何使用 top 、 vmstat 等工具来监控和分析系统的 CPU 和内存性能。 1. 使用 top 工具监控进程 top 工具是 Linux 系统中常用的性能监控工具,它可以…

作者头像 李华
网站建设 2026/7/12 0:28:35

Unity XR交互工具包终极指南:10个快速上手指南

Unity XR交互工具包终极指南:10个快速上手指南 【免费下载链接】XR-Interaction-Toolkit-Examples This repository contains various examples to use with the XR Interaction Toolkit 项目地址: https://gitcode.com/gh_mirrors/xri/XR-Interaction-Toolkit-Ex…

作者头像 李华
网站建设 2026/7/9 2:00:30

23、SUSE Linux Enterprise Server 10 打印管理全解析

SUSE Linux Enterprise Server 10 打印管理全解析 在 SUSE Linux Enterprise Server 10 系统中,打印管理是一项重要的功能。本文将详细介绍 CUPS(通用 Unix 打印系统)的使用,包括打印作业的生成、管理、队列配置以及 CUPS 的工作原理等方面。 1. 打印配置练习 首先,我们…

作者头像 李华
网站建设 2026/7/11 16:55:54

以科技守护长寿:Quantum Life 自主研发AI驱动平台助力港怡医疗,开启香港精准预防医疗新时代

依托 Quantum Life 自主研发的人工智能驱动的 Longevity.Omics 平台,港怡医疗将成为香港首个提供结合基因组、表观遗传及临床数据全面综合分析服务的医疗服务网络。这项服务标志着港怡健康长寿医疗服务正式启动的里程碑,也标志着双方在健康长寿医疗领域的…

作者头像 李华