Finding Relations Among Linear Constraints. - Jun Yan 009; Jian Zhang 001; Zhongxing Xu (AISC, 2006)

Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing. - Jun Yan 009; Jian Zhang 001 (COMPSAC (1), 2006)

BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach. - Jun Yan 009; Zhong Jie Li; Yuan Yuan 036; Wei Sun 001; Jian Zhang 001 (ISSRE, 2006)

Path-based verification for composition of semantic web services. - Yuxiang Shi; Jun Yan 009; Zhong Jie Li; Jun Zhu (SAC, 2008)

Test Data Generation for C Programs with String-Handling Functions. - Hui Ruan; Jian Zhang 001; Jun Yan 009 (TASE, 2008)

An efficient method to generate feasible paths for basis path testing. - Jun Yan 009; Jian Zhang 001 (Inf. Process. Lett., 2008)

A backtracking search tool for constructing combinatorial test suites. - Jun Yan 009; Jian Zhang 001 (J. Syst. Softw., 2008)

Combinatorial Testing with Shielding Parameters. - Baiqiang Chen; Jun Yan 009; Jian Zhang 001 (APSEC, 2010)

Automatic Bug Triage using Semi-Supervised Text Classification. - Jifeng Xuan; He Jiang 001; Zhilei Ren; Jun Yan 009; Zhongxuan Luo (SEKE, 2010)

Solving Generalized Optimization Problems Subject to SMT Constraints. - Feifei Ma; Jun Yan 009; Jian Zhang 001 (FAW-AAIM, 2012)

A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines. - Tianyong Wu; Jun Yan 009; Jian Zhang 001 (TASE, 2012)

Profile directed systematic testing of concurrent programs. - Yan Hu; Jun Yan 009; Jian Zhang 001; He Jiang 001 (AST, 2013)

Cascade: A Test Generation Tool for Combinatorial Testing. - Yong Zhao; Zhiqiang Zhang 007; Jun Yan 009; Jian Zhang 001 (ICST Workshops, 2013)

Characterizing and detecting resource leaks in Android applications. - Chaorong Guo; Jian Zhang 001; Jun Yan 009; Zhiqiang Zhang 007; Yanli Zhang (ASE, 2013)

A Search Strategy Guided by Uncovered Branches for Concolic Testing. - Qixing Dong; Jun Yan 009; Jian Zhang 001; Fanping Zeng (QSIC, 2013)

Towards Conformance Testing of Choreography Based on Scenario. - Hongli Yang; Kai Ma; Cheng Deng; Husheng Liao; Jun Yan 009; Jian Zhang 001 (TASE, 2013)

Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion. - Tianyong Wu; Jun Yan 009; Jian Zhang 001 (SERE, 2014)

Choreography Scenario-Based Test Data Generation. - Kai Ma; Jin Wang; Hongli Yang; Jun Yan 009; Jian Zhang 001; Shengchao Qin (TASE, 2014)

Generating combinatorial test suite using combinatorial optimization. - Zhiqiang Zhang 007; Jun Yan 009; Yong Zhao; Jian Zhang 001 (J. Syst. Softw., 2014)

The Floating-Point Extension of Symbolic Execution Engine for Bug Detection. - Xingming Wu; Zhenbo Xu; Dong Yan; Tianyong Wu; Jun Yan 009; Jian Zhang 001 (APSEC, 2016)

Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation. - Jierui Liu; Tianyong Wu; Jun Yan 009; Jian Zhang 001 (ISSRE, 2016)

Relda2: an effective static analysis tool for resource leak detection in Android apps. - Tianyong Wu; Jierui Liu; Xi Deng; Jun Yan 009; Jian Zhang 001 (ASE, 2016)

Lightweight Method-Level Energy Consumption Estimation for Android Applications. - Qiong Lu; Tianyong Wu; Jiwei Yan; Jun Yan 009; Feifei Ma; Fan Zhang (TASE, 2016)

PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment. - Yan Hu; Jun Yan 009; Kim-Kwang Raymond Choo (Clust. Comput., 2016)

Target Directed Event Sequence Generation for Android Applications. - Jiwei Yan; Tianyong Wu; Jun Yan 009; Jian Zhang 001 (CoRR, 2016)

Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps. - Tianyong Wu; Jierui Liu; Zhenbo Xu; Chaorong Guo; Yanli Zhang; Jun Yan 009; Jian Zhang 001 (IEEE Trans. Software Eng., 2016)

Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. - Dong Yan; Linjie Pan 001; Rongjie Yan; Jun Yan 009; Jian Zhang 001 (COMPSAC (1), 2017)

Detecting Energy Bugs in Android Apps Using Static Analysis. - Hao Jiang; Hongli Yang; Shengchao Qin; Zhendong Su 001; Jian Zhang 001; Jun Yan 009 (ICFEM, 2017)

Combinatorial Testing on Implementations of HTML5 Support. - Xi Deng; Tianyong Wu; Jun Yan 009; Jian Zhang 001 (ICST Workshops, 2017)

Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps. - Jiwei Yan; Tianyong Wu; Jun Yan 009; Jian Zhang 001 (QRS, 2017)

InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications. - Jierui Liu; Tianyong Wu; Xi Deng; Jun Yan 009; Jian Zhang 001 (SANER, 2017)

基于Android平台的隐私泄漏静态检测工具的分析与比较 (Analysis and Comparison of Privacy Leak Static Detection Tools for Android Applications). - Jiwei Yan; Mingsu Li; Qiong Lu; Jun Yan 009; Hongyu Gao (计算机科学, 2017)

Method-Level Permission Analysis Based on Static Call Graph of Android Apps. - Yan Hu; Weiqiang Kong; Deng Ding; Jun Yan 009 (DSA, 2018)

Checking Activity Transition Systems with Back Transitions Against Assertions. - Cunjing Ge; Jiwei Yan; Jun Yan 009; Jian Zhang 001 (ICFEM, 2018)

LAND: a user-friendly and customizable test generation tool for Android apps. - Jiwei Yan; Linjie Pan 001; Yaqi Li; Jun Yan 009; Jian Zhang 001 (ISSTA, 2018)

Characterizing and identifying misexposed activities in Android applications. - Jiwei Yan; Xi Deng; Ping Wang; Tianyong Wu; Jun Yan 009; Jian Zhang 001 (ASE, 2018)

A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. - Minghao Liu 001; Feifei Ma; Jun Yan 009 (KSEM (2), 2018)

Generating minimal test set satisfying MC/DC criterion via SAT based approach. - Ling Yang; Jun Yan 009; Jian Zhang 001 (SAC, 2018)

Lightweight energy consumption analysis and prediction for Android applications. - Yan Hu; Jiwei Yan; Dong Yan; Qiong Lu; Jun Yan 009 (Sci. Comput. Program., 2018)

Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android. - Linjie Pan 001; Baoquan Cui; Jiwei Yan; Xutong Ma; Jun Yan 009; Jian Zhang 001 (ISSTA, 2019)

SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs. - Xutong Ma; Jiwei Yan; Yaqi Li; Jun Yan 009; Jian Zhang 001 (ASE, 2019)

Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis. - Xutong Ma; Jiwei Yan; Jun Yan 009; Jian Zhang 001 (QRS, 2019)

Understanding Ineffective Events and Reducing Test Sequences for Android Applications. - Ping Wang; Jiwei Yan; Xi Deng; Jun Yan 009; Jian Zhang 001 (TASE, 2019)

SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications. - Rongjie Yan; Anyu Cai; Hongyu Gao; Feifei Ma; Jun Yan 009 (TASE, 2019)

Testing the Message Flow of Android Auto Apps. - Yu Zhang; Xi Deng; Jun Yan 009; Hang Su; Hongyu Gao (SANER, 2019)

DroidLeaks: a comprehensive database of resource leaks in Android apps. - Yepang Liu 001; Jue Wang; Lili Wei 001; Chang Xu 001; Shing-Chi Cheung; Tianyong Wu; Jun Yan 009; Jian Zhang 001 (Empir. Softw. Eng., 2019)

Analyses for specific defects in android applications: a survey. - Tianyong Wu; Xi Deng; Jun Yan 009; Jian Zhang 001 (Frontiers Comput. Sci., 2019)

Multiple-entry testing of Android applications by constructing activity launching contexts. - Jiwei Yan; Hao Liu; Linjie Pan 001; Jun Yan 009; Jian Zhang 001; Bin Liang 002 (ICSE, 2020)

GTFuzz: Guard Token Directed Grey-Box Fuzzing. - Rundong Li; Hongliang Liang; Liming Liu; Xutong Ma; Rong Qu; Jun Yan 009; Jian Zhang 001 (PRDC, 2020)

PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing. - Zijie Li; Long Zhang; Jun Yan 009; Jian Zhang 001; Zhenyu Zhang 004; T. H. Tse (QRS, 2020)

Static asynchronous component misuse detection for Android applications. - Linjie Pan 001; Baoquan Cui; Hao Liu; Jiwei Yan; Siqi Wang; Jun Yan 009; Jian Zhang 001 (ESEC/SIGSOFT FSE, 2020)

Neuron Activation Frequency Based Test Case Prioritization. - Kai Zhang; Yongtai Zhang; Liwei Zhang; Hongyu Gao; Rongjie Yan; Jun Yan 009 (TASE, 2020)

Combinatorial Testing of Browsers' Support for Multimedia. - Xi Deng; Zhiqiang Zhang 007; Rundong Li; Jun Yan 009; Jian Zhang 001 (IEEE Trans. Reliab., 2020)

Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. - Yuhang Chen; Chih-Hong Cheng; Jun Yan 009; Rongjie Yan (IROS, 2021)

Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. - Xutong Ma; Jiwei Yan; Wei Wang; Jun Yan 009; Jian Zhang 001; Zongyan Qiu (ASE, 2021)

Dynamic Detection of AsyncTask Related Defects. - Qing Liu; Linjie Pan 001; Baoquan Cui; Jun Yan 009; Jian Zhang 001 (QRS, 2021)

Are the Scala Checks Effective? Evaluating Checks with Real-world Projects. - Xin Zhang; Jiwei Yan; Baoquan Cui; Jun Yan 009; Jian Zhang 001 (QRS, 2021)

Towards Practical Evaluation of Android ICC Resolution Techniques. - Jiwei Yan; Shixin Zhang; Yepang Liu 001; Jun Yan 009; Jian Zhang 001 (CoRR, 2021)

Stability evaluation for text localization systems via metamorphic testing. - Rongjie Yan; Siqi Wang; Yixuan Yan; Hongyu Gao; Jun Yan 009 (J. Syst. Softw., 2021)

Efficient testing of GUI applications by event sequence reduction. - Jiwei Yan; Hao Zhou; Xi Deng; Ping Wang; Rongjie Yan; Jun Yan 009; Jian Zhang 001 (Sci. Comput. Program., 2021)

ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications. - Jiwei Yan; Shixin Zhang; Yepang Liu 001; Jun Yan 009; Jian Zhang 001 (ICSE-Companion, 2022)

String Test Data Generation for Java Programs. - Miaomiao Wang; Baoquan Cui; Jiwei Yan; Jun Yan 009; Jian Zhang 001 (ISSRE, 2022)

A Comprehensive Evaluation of Android ICC Resolution Techniques. - Jiwei Yan; Shixin Zhang; Yepang Liu 001; Xi Deng; Jun Yan 009; Jian Zhang 001 (ASE, 2022)

ExcePy: A Python Benchmark for Bugs with Python Built-in Types. - Xin Zhang; Rongjie Yan; Jiwei Yan; Baoquan Cui; Jun Yan 009; Jian Zhang 001 (SANER, 2022)

Wavelet Regularization Benefits Adversarial Training. - Jun Yan 009; Huilin Yin; Xiaoyang Deng; Ziming Zhao 006; Wancheng Ge; Hao Zhang 008; Gerhard Rigoll (CoRR, 2022)

Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures. - Xin Zhang; Xutong Ma; Jiwen Yan; Baoquan Cui; Jun Yan 009; Jian Zhang 001 (CoRR, 2022)

Test case prioritization with neuron valuation based pattern. - Rongjie Yan; Yuhang Chen; Hongyu Gao; Jun Yan 009 (Sci. Comput. Program., 2022)

Locating Framework-specific Crashing Faults with Compact and Explainable Candidate Set. - Jiwei Yan; Miaomiao Wang; Yepang Liu 001; Jun Yan 009; Long Zhang (ICSE, 2023)

Detecting Exception Handling Bugs in C++ Programs. - Hao Zhang 008; Ji Luo; Mengze Hu; Jun Yan 009; Jian Zhang 001; Zongyan Qiu (ICSE, 2023)

Ground-optimized SLAM with Hierarchical Loop Closure Detection in Large-scale Environment. - Huilin Yin; Mina Sun; Linchuan Zhang; Jun Yan 009; Johannes Betz (ITSC, 2023)

Detection of Java Basic Thread Misuses Based on Static Event Analysis. - Baoquan Cui; Miaomiao Wang; Chi Zhang; Jiwei Yan; Jun Yan 009; Jian Zhang 001 (ASE, 2023)

Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count. - Xutong Ma; Jiwei Yan; Hao Zhang 008; Jun Yan 009; Jian Zhang 001 (ASE, 2023)

ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps. - Shixin Zhang; Shanna Li; Xi Deng; Jiwei Yan; Jun Yan 009 (ASE, 2023)

Exploring aesthetic procedural noise for crafting model-agnostic universal adversarial perturbations. - Jun Yan 009; Huilin Yin; Wancheng Ge; Li Liu (Displays, 2023)

Variable-strength combinatorial testing of exported activities based on misexposure prediction. - Xi Deng; Jiwei Yan; Shixin Zhang; Jun Yan 009; Jian Zhang 001 (J. Syst. Softw., 2023)

Wavelet regularization benefits adversarial training. - Jun Yan 009; Huilin Yin; Ziming Zhao 006; Wancheng Ge; Hao Zhang 008; Gerhard Rigoll (Inf. Sci., 2023)

Certified Patch Defense via Dual Mask-Preservation Prediction. - Ziming Zhao 006; Jun Yan 009; Huilin Yin (ICONIP (2), 2024)

Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker. - Jun Liu; Jiwei Yan; Yuanyuan Xie; Jun Yan 009; Jian Zhang 001 (ISSRE, 2024)

Panda: A Concurrent Scheduler for Compiler-Based Tools. - Xutong Ma; Jiwei Yan; Jun Yan 009; Jian Zhang 001 (ISSTA, 2024)

Sparse Query Dense: Enhancing 3D Object Detection with Pseudo Points. - Yujian Mo; Yan Wu 011; Junqiao Zhao; Zhenjie Hou; Weiquan Huang; Yinghao Hu; Jijun Wang; Jun Yan 009 (ACM Multimedia, 2024)

Exception-aware Lifecycle Model Construction for Framework APIs. - Jiwei Yan; Jinhao Huang; Hengqin Yang; Jun Yan 009 (CoRR, 2024)

Augmenting LLMs to Repair Obsolete Test Cases with Static Collector and Neural Reranker. - Jun Liu; Jiwei Yan; Yuanyuan Xie; Jun Yan 009; Jian Zhang 001 (CoRR, 2024)

Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization. - Jiwei Yan; Jinhao Huang; Chunrong Fang; Jun Yan 009; Jian Zhang 001 (CoRR, 2024)

Automatically Write Code Checker: An LLM-based Approach with Logic-guided API Retrieval and Case by Case Iteration. - Yuanyuan Xie; Jun Liu; Jiwei Yan; Jinhao Huang; Jun Yan 009; Jian Zhang 001 (CoRR, 2024)

Robust object detection for autonomous driving based on semi-supervised learning. - Wenwen Chen; Jun Yan 009; Weiquan Huang; Wancheng Ge; Huaping Liu; Huilin Yin (Secur. Saf., 2024)

BEVSOC: Self-Supervised Contrastive Learning for Calibration-Free BEV 3-D Object Detection. - Yongqing Chen; Nanyu Li; Dandan Zhu 001; Charles C. Zhou; Zhuhua Hu; Yong Bai; Jun Yan 009 (IEEE Internet Things J., 2024)

Enhance Adversarial Robustness via Geodesic Distance. - Jun Yan 009; Huilin Yin; Ziming Zhao 006; Wancheng Ge; Jingfeng Zhang (IEEE Trans. Artif. Intell., 2024)

Loosely Coupled Stereo VINS Based on Point-Line Features Tracking With Feedback Loops. - Linchuan Zhang; Wei Ye 001; Jun Yan 009; Hao Zhang 008; Johannes Betz; Huilin Yin (IEEE Trans. Veh. Technol., 2024)

HACMony: Automatically Testing Hopping-related Audio-stream Conflict Issues on HarmonyOS. - Jinlong He; Binru Huang; Hengqin Yang; Jiwei Yan; Jun Yan 009 (CoRR, 2025)

Enhancing LiDAR Point Features with Foundation Model Priors for 3D Object Detection. - Yujian Mo; Yan Wu 011; Junqiao Zhao; Jijun Wang; Yinghao Hu; Jun Yan 009 (CoRR, 2025)

LDRFusion: A LiDAR-Dominant multimodal refinement framework for 3D object detection. - Jijun Wang; Yan Wu 011; Yujian Mo; Junqiao Zhao; Jun Yan 009; Yinghao Hu (CoRR, 2025)