严俊
研究员
博士生导师
程序分析与软件测试
论文
2014
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution
SERE 2014Ting SuGeguang PuBin FangJifeng HeJun YanSiyuan JiangJianjun ZhaoChoreography Scenario-Based Test Data Generation
TASE 2014Kai MaJin WangHongli YangJun YanJian ZhangShengchao QinGenerating combinatorial test suite using combinatorial optimization
JSS 2014CCF BZhiqiang ZhangJun YanYong ZhaoJian Zhang
2013
A Search Strategy Guided by Uncovered Branches for Concolic Testing
QSIC 2013Qixing DongJun YanJian ZhangFanping ZengCascade: A Test Generation Tool for Combinatorial Testing
IWCT 2013（ICST 附属研讨会）Yong ZhaoZhiqiang ZhangJun YanJian ZhangCharacterizing and detecting resource leaks in Android applications
ASE 2013CCF AChaorong GuoJian ZhangJun YanZhiqiang ZhangYanli ZhangProfile directed systematic testing of concurrent programs
AST 2013（ICSE 附属研讨会）Yan HuJun YanJian ZhangHe JiangTowards Conformance Testing of Choreography Based on Scenario
TASE 2013Hongli YangKai MaCheng DengHusheng LiaoJun YanJian Zhang
2012
2010
Automatic Bug Triage using Semi-Supervised Text Classification
SEKE 2010CCF CJifeng XuanHe JiangZhilei RenJun YanZhongxuan LuoCombinatorial Testing with Shielding Parameters
APSEC 2010CCF CBaiqiang ChenJun YanJian Zhang- 计算机研究与发展 2010严俊郭涛阮辉玄跻峰
2008
A backtracking search tool for constructing combinatorial test suites
JSS 2008CCF BJun YanJian ZhangAn efficient method to generate feasible paths for basis path testing
IPL 2008CCF CJun YanJian ZhangPath-based verification for composition of semantic web services
SAC 2008Yuxiang ShiJun YanZhongjie LiJun ZhuTest Data Generation for C Programs with String-Handling Functions
TASE 2008CCF CHui RuanJian ZhangJun Yan
2006
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
ISSRE 2006CCF BJun YanZhongjie LiYuan YuanWei SunJian ZhangFinding Relations Among Linear Constraints
AISC 2006Jun YanJian ZhangZhongxing Xu
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。