Jun Yan

Professor

PhD Supervisor

Program analysis and Software testing

Publications

84 publications

2020

PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing
QRS 2020Zijie LiLong ZhangJun YanJian ZhangZhenyu ZhangT. H. Tse
Static asynchronous component misuse detection for Android applications
ESEC/FSE 2020Linjie Pan Baoquan CuiHao LiuJiwei YanSiqi WangJun YanJian Zhang

2019

Analyses for specific defects in android applications: a survey
FCS 2019Tianyong Wu Xi DengJun YanJian Zhang
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
APLAS 2019Jinlong HeTaolue ChenPing WangZhilin WuJun Yan
Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android
ISSTA 2019Linjie Pan Baoquan Cui Jiwei Yan Xutong MaJun YanJian Zhang
DroidLeaks: a comprehensive database of resource leaks in Android apps
ESE 2019Yepang LiuJue WangLili WeiChang XuShing-Chi CheungTianyong WuJun YanJian Zhang
Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis
QRS 2019Xutong Ma Jiwei YanJun YanJian Zhang
SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications
TASE 2019Rongjie YanAnyu CaiHongyu GaoFeifei MaJun Yan
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
ASE 2019Xutong Ma Jiwei Yan Yaqi LiJun YanJian Zhang
Code
Testing the Message Flow of Android Auto Apps
SANER 2019Yu ZhangXi DengJun YanHang SuHongyu Gao
Understanding Ineffective Events and Reducing Test Sequences for Android Applications
TASE 2019Ping Wang Jiwei Yan Xi DengJun YanJian Zhang

2018

A Community-Division Based Algorithm for Finding Relations Among Linear Constraints
KSEM 2018Minghao Liu Feifei MaJun Yan
Android Stack Machine
CAV 2018Taolue ChenJinlong HeFu SongGuozhen WangZhilin WuJun Yan
Characterizing and identifying misexposed activities in Android applications
ASE 2018Jiwei Yan Xi Deng Ping Wang Tianyong WuJun YanJian Zhang
Code
Checking Activity Transition Systems with Back Transitions Against Assertions
ICFEM 2018Cunjing Ge Jiwei YanJun YanJian Zhang
Generating minimal test set satisfying MC/DC criterion via SAT based approach
SAC 2018Ling YangJun YanJian Zhang
LAND: a user-friendly and customizable test generation tool for Android apps
ISSTA 2018Jiwei Yan Linjie Pan Yaqi LiJun YanJian Zhang
Lightweight energy consumption analysis and prediction for Android applications
SCP 2018Yan HuJiwei Yan Dong Yan Qiong LuJun Yan

2017

Combinatorial Testing on Implementations of HTML5 Support
IWCT 2017 (workshop at ICST)Xi Deng Tianyong WuJun YanJian Zhang
Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation
COMPSAC 2017Dong Yan Linjie Pan Rongjie YanJun YanJian Zhang
Detecting Energy Bugs in Android Apps Using Static Analysis
ICFEM 2017Hao JiangHongli YangShengchao QinZhendong SuJian ZhangJun Yan
InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications
SANER 2017Jierui Liu Tianyong Wu Xi DengJun YanJian Zhang
Code
Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps
QRS 2017Jiwei Yan Tianyong WuJun YanJian Zhang

2016

Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation
ISSRE 2016Jierui Liu Tianyong WuJun YanJian Zhang
Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps
TSE 2016Tianyong Wu Jierui LiuZhenbo XuChaorong GuoYanli ZhangJun YanJian Zhang
Lightweight Method-Level Energy Consumption Estimation for Android Applications
TASE 2016Qiong Lu Tianyong Wu Jiwei YanJun YanFeifei Ma Fan Zhang
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment
Clust. Comput. 2016Yan HuJun YanKim-Kwang Raymond Choo
Relda2: an effective static analysis tool for resource leak detection in Android apps
ASE 2016Tianyong Wu Jierui Liu Xi DengJun YanJian Zhang
The Floating-Point Extension of Symbolic Execution Engine for Bug Detection
APSEC 2016Xingming WuZhenbo XuDong Yan Tianyong WuJun YanJian Zhang

2015

Automatic Detection of Parameter Shielding for Test Case Generation
SEKE 2015Jingjian LinJun YanJifeng Xuan