Publications

206 publications

2020

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks
CP 2020Minghao Liu Fan Zhang Pei HuangShuzi NiuFeifei Ma Jian Zhang
Multiple-entry testing of Android applications by constructing activity launching contexts
ICSE 2020Jiwei YanHao LiuLinjie Pan Jun Yan Jian ZhangBin Liang
Code
Neuron Activation Frequency Based Test Case Prioritization
TASE 2020Kai ZhangYongtai ZhangLiwei ZhangHongyu GaoRongjie Yan Jun Yan
PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing
QRS 2020Zijie LiLong Zhang Jun Yan Jian ZhangZhenyu ZhangT. H. Tse
SinkFinder: harvesting hundreds of unknown interesting function pairs with just one seed
ESEC/FSE 2020Pan BianBin LiangJianjun HuangWenchang ShiXidong WangJian Zhang
Static asynchronous component misuse detection for Android applications
ESEC/FSE 2020Linjie Pan Baoquan CuiHao LiuJiwei YanSiqi WangJun Yan Jian Zhang

2019

ACFNet: Attentional Class Feature Network for Semantic Segmentation
ICCV 2019Fan ZhangYanqin ChenZhihang LiZhibin HongJingtuo LiuFeifei MaJunyu HanErrui Ding
Adaptive Random Testing for XSS Vulnerability
APSEC 2019Chengcheng LvLong ZhangFanping ZengJian Zhang
Analyses for specific defects in android applications: a survey
FCS 2019Tianyong Wu Xi Deng Jun Yan Jian 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 Ma Jun Yan Jian Zhang
Approximating Integer Solution Counting via Space Quantification for Linear Constraints
IJCAI 2019Cunjing Ge Feifei Ma Xutong Ma Fan Zhang Pei Huang Jian Zhang
DroidLeaks: a comprehensive database of resource leaks in Android apps
ESE 2019Yepang LiuJue WangLili WeiChang XuShing-Chi CheungTianyong Wu Jun Yan Jian Zhang
Fine-Grained Communication-Aware Task Scheduling Approach for Acyclic and Cyclic Applications on MPSoCs
IEEE Access 2019Kai HuangXiaowen JiangHaitian JiangXiaomeng ZhangMin YuRongjie YanXiaolang Yan
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing
ISSAC 2019Pei Huang Minghao Liu Cunjing Ge Feifei Ma Jian Zhang
On some matching problems under the color-spanning model
TCS 2019Sergey BeregFeifei MaWencheng WangJian ZhangBinhai Zhu
Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis
QRS 2019Xutong Ma Jiwei Yan Jun Yan Jian Zhang
SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications
TASE 2019Rongjie YanAnyu CaiHongyu GaoFeifei Ma Jun Yan
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019Pei Huang Minghao Liu Ping WangWenhui ZhangFeifei Ma Jian Zhang
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
ASE 2019Xutong Ma Jiwei Yan Yaqi Li Jun Yan Jian Zhang
Code
Testing the Message Flow of Android Auto Apps
SANER 2019Yu ZhangXi Deng Jun YanHang SuHongyu Gao
Understanding Ineffective Events and Reducing Test Sequences for Android Applications
TASE 2019Ping Wang Jiwei Yan Xi Deng Jun Yan Jian Zhang

2018

A Community-Division Based Algorithm for Finding Relations Among Linear Constraints
KSEM 2018Minghao Liu Feifei Ma Jun Yan
A New Probabilistic Algorithm for Approximate Model Counting
IJCAR 2018Cunjing Ge Feifei MaTian LiuJian Zhang Xutong Ma
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 Wu Jun Yan Jian Zhang
Code
Checking Activity Transition Systems with Back Transitions Against Assertions
ICFEM 2018Cunjing Ge Jiwei Yan Jun Yan Jian Zhang
Computing and estimating the volume of the solution space of SMT(LA) constraints
TCS 2018Cunjing Ge Feifei MaPeng ZhangJian Zhang
Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems
ICECCS 2018Rongjie YanJunjie YangDi ZhuKai Huang
Energy-Efficient Fault-Tolerant Mapping and Scheduling on Heterogeneous Multiprocessor Real-Time Systems
IEEE Access 2018Kai HuangXiaowen JiangXiaomeng ZhangRongjie YanKe WangDongliang XiongXiaolang Yan