基本信息



严俊男
中国科学院软件研究所 博导
中国科学院大学岗位教授

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



部门/实验室：软件工程技术研究开发中心
研究领域










程序分析
从程序代码（源代码、字节码、二进制码）出发，自动或者半自动地分析程序的性质，寻找程序可能的缺陷，改善软件的质量。目前正在进行中的研究工作包括面向C/C++代码的静态分析以及面向Android等新型应用软件的静态和动态分析。
课题组近期发表部分论文，完整版见这里：
Characterizing and Identifying Misexposed Activities in Android Applications. ASE 2018
Android Stack Machine. CAV 2018
LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps. ISSTA 2018
Lightweight energy consumption analysis and prediction for Android applications. Science of Computer Programming, 2018.
ComprehensiveStaticAnalysisforConfigurableSoftwareviaCombinatorialInstanstiation. Compsac 2017
Combinatorial Testing on Implementations of HTML5 Support. IWCT 2017.
InsDal: A Safe and Extensible Instrumentation Tool on Dalvik Byte-code for Android Applications. SANER 2017.
Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps. IEEE Transations on Software Engineering, 2016.
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment. Cluster Computing, 2016.
Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion. SERE 2014
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, 青年编辑


教授课程软件测试与分析


学生指导






欢迎有志于软件事业，有较好的计算机软件理论基础，并具有一定软件开发能力的优秀学子来课题组继续深造。因研究所博、硕士研究生招生指标紧张，有意报考课题组的同学尽早与课题组导师联系。


软件所的招生信息请见这里。

从近几年招生情况看，软件所已经无法满足第一志愿优秀学生的需求，几无可能接收调剂学生，见谅。


课题组其他导师
张健研究员
马菲菲副研究员
晏荣杰副研究员
————————————
在读研究生
邓茜 软件工程 2017年转博
马旭桐 软件工程 2018年转博
李雅琪 软件工程
周豪软件工程
?陈宇航软件工程


已毕业学生
吴添勇 软件工程 2014年转博，2017年毕业（博士）
林精荐 计算机软件与理论 2015年毕业
卢琼 计算机软件与理论 2016年毕业
燕东 软件工程 2017年毕业