ARCHIVE

分类：动态

2026 · 09 · 15

研究室论文获得软件工程顶级会议ASE 2026杰出论文奖

近日，研究室论文 Hybrid Fuzzing in […]

阅读全文 →

2026 · 08 · 26

研究室3名青年学者获国自然基金资助

2026年国家自然科学基金集中申报项目评审结果已于8 […]

阅读全文 →

2026 · 08 · 20

基础软件测试与分析研究室自研SMT求解器Xolver、并在2026年度国际SMT求解器竞赛荣获两项冠军

中国科学院软件研究所 · 基础软件与系统重点实验室 […]

阅读全文 →

2026 · 08 · 20

SCP期刊录用文章一篇

文章：Slicing Assisted Progra […]

阅读全文 →

2026 · 08 · 02

ASE 2026 录用论文三篇

以下文章被ASE2026录用 From Thread […]

阅读全文 →

2026 · 06 · 15

ICSME2026 录用文章一篇

文章 RCSAgent: An LLM Agent […]

阅读全文 →

2026 · 05 · 29

CSUR 录用论文一篇

On Models for Sound Dynami […]

阅读全文 →

2026 · 05 · 20

ICML 2026录用论文两篇

A Comprehensive Fine-Grain […]

阅读全文 →

2026 · 05 · 20

ISSTA 录用文章两篇

Fixed-Point Guided ADS Sce […]

阅读全文 →

2025 · 07 · 18

张健研究员获 QRS 二十五周年特别荣誉奖

张健研究员荣获 IEEE 软件质量、可靠性与安全国际 […]

阅读全文 →