基本信息

严俊  男  

中国科学院软件研究所 研究员 博导  

中国科学院大学 岗位教授 


电子邮件： yanjun {at} ios.ac.cn, yanjun {at} otcaix.iscas.ac.cn
通信地址： 北京海淀区中关村南四街4号
邮政编码： 100190


本页面二维码↓

研究领域

程序分析

从程序代码（源代码、字节码、二进制码）出发，自动或者半自动地分析程序的性质，寻找程序可能的缺陷，改善软件的质量。目前正在进行中的研究工作包括面向C/C++/Java/Python代码的静态和动态分析。 

课题组近期发表部分论文（完整版见这里）：

  • ​Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs. ICSE 2026. 
  • Detecting Element Accessing Bugs in C++ Sequence Containers. ASE 2024
  • Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count. ASE 2023
  • Locating Framework-specific Crashing Faults with Compact and Explainable Candidate Set. ICSE 2023
  • Detecting Exception Handling Bugs in C++ Programs. ICSE 2023
  • String Test Data Generation for Java Programs. ISSRE 2022
  • Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. ASE 2021
  • Static Asynchronous Component Misuse Detection for Android Applications. FSE 2020
  • Multiple-Entry Testing of Android Applications by Constructing Activity Launching Contexts. ICSE 2020
  • Characterizing and Identifying Misexposed Activities in Android Applications. ASE 2018
  • Android Stack Machine. CAV 2018
  • Lightweight energy consumption analysis and prediction for Android applications. Science of Computer Programming, 2018.
  • Comprehensive Static Analysis for Configurable Software via Combinatorial Instanstiation. Compsac 2017
  • Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps. IEEE Trans Software Engineering, 2016.
  • Generating combinatorial test suite using combinatorial optimization. Journal of Systems and Software, 2014.

教育背景

2002-09--2007-07   中国科学院研究生院   博士
1996-09--2001-07   中国科学技术大学   学士

工作经历


工作简历
2018-10~现在, 中国科学院软件研究所, 研究员
2010-01~2018-09,中国科学院软件研究所, 副研究员
2009-04~2009-07,香港城市大学, 访问学者
2007-07~2009-12,中国科学院软件研究所, 助理研究员
社会兼职
2017-03-01-今,Frontiers of Computer Science, 青年编辑

教授课程

软件测试与分析
本科生毕业设计（计算机科学与技术）
软件测试与分析-习题课
软件分析与测试
软件测试与分析

面向计算机学院高年级本科生的专业课，每年秋季开课。

软件分析与测试

研究生一年级专业课，与蔡彦研究员合作每年秋季学期开设。

学生指导

    欢迎有志于软件事业，有较好的计算机软件理论基础，并具有一定软件开发能力的优秀学子来课题组继续深造。课题组研究生曾多次获得国家奖学金、北京市优秀毕业生、中国科学院院长奖等荣誉。软件所的招生信息请见这里。课题组的研究方向与学生培养情况参见 SQuARE Group。

       

    课题组从以下途径招生，所有学生统一管理。  从近几年招生情况看，因招生指标紧张，无法接收调剂学生。

  1. 软件所软件工程中心

  2. 国科大杭高院智能科学与技术学院

  3. 软件所基础软件与系统实验室（原计算机科学国家重点实验室，与其他老师合作招生）