严俊
研究员
博士生导师
程序分析与软件测试
论文
2020
- QRS 2020Zijie LiLong ZhangJun YanJian ZhangZhenyu ZhangT. H. Tse
Static asynchronous component misuse detection for Android applications
ESEC/FSE 2020CCF ALinjie PanBaoquan CuiHao LiuJiwei YanSiqi WangJun YanJian Zhang
2019
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
APLAS 2019CCF CJinlong HeTaolue ChenPing WangZhilin WuJun YanDroidLeaks: a comprehensive database of resource leaks in Android apps
ESE 2019CCF BYepang LiuJue WangLili WeiChang XuShing-Chi CheungTianyong WuJun YanJian ZhangSMT-based Multi-objective Optimization for Scheduling of MPSoC Applications
TASE 2019CCF CRongjie YanAnyu CaiHongyu GaoFeifei MaJun YanTesting the Message Flow of Android Auto Apps
SANER 2019CCF BYu ZhangXi DengJun YanHang SuHongyu Gao
2018
- CAV 2018CCF ATaolue ChenJinlong HeFu SongGuozhen WangZhilin WuJun Yan
2017
Combinatorial Testing on Implementations of HTML5 Support
IWCT 2017（ICST 附属研讨会）Xi DengTianyong WuJun YanJian ZhangDetecting Energy Bugs in Android Apps Using Static Analysis
ICFEM 2017CCF CHao JiangHongli YangShengchao QinZhendong SuJian ZhangJun Yan
2016
Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps
TSE 2016CCF ATianyong WuJierui LiuZhenbo XuChaorong GuoYanli ZhangJun YanJian ZhangPEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment
Clust. Comput. 2016Yan HuJun YanKim-Kwang Raymond ChooThe Floating-Point Extension of Symbolic Execution Engine for Bug Detection
APSEC 2016CCF CXingming WuZhenbo XuDong YanTianyong WuJun YanJian Zhang
2015
Automatic Detection of Parameter Shielding for Test Case Generation
SEKE 2015Jingjian LinJun YanJifeng Xuan
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。