基本信息
严俊 男
中国科学院软件研究所 研究员 博导
中国科学院大学 岗位教授
电子邮件： 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, 青年编辑
教授课程
软件测试与分析本科生毕业设计（计算机科学与技术）软件测试与分析-习题课软件分析与测试
软件测试与分析
面向计算机学院高年级本科生的专业课，每年秋季开课。
软件分析与测试
研究生一年级专业课，与蔡彦研究员合作每年秋季学期开设。