基本信息

严俊  男  

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

中国科学院大学 岗位教授 


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

研究领域

程序分析

从程序代码(源代码、字节码、二进制码)出发,自动或者半自动地分析程序的性质,寻找程序可能的缺陷,改善软件的质量。目前正在进行中的研究工作包括面向C/C++代码的静态分析以及面向Android等新型应用软件的静态和动态分析。

 

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

  • 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, 青年编辑

教授课程

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

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

软件分析与测试

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

学生指导

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

    从近几年招生情况看,软件研究所本部博、硕士研究生招生指标紧张,无法接收调剂学生。对课题组感兴趣的同学,还可以选择国科大杭高院,课题组对所有学生统一管理。


课题组其他同方向导师