research

Back to my homepage at SKLCS, or Chinese Version at UCAS

Research Interests

Program Testing

Program Analysis

Publications

The collections of my publications by Google Scholar and DBLP.

Journal Papers (2018-present)

Xi Deng, Jiwei Yan, Shixin Zhang, Jun Yan, Jian Zhang： Variable-strength combinatorial testing of exported activities based on misexposure prediction. The Journal of Systems and Software, Volume 204, October 2023, 111773
Rongjie Yan, Yuhang Chen, Hongyu Gao, Jun Yan: Test case prioritization with neuron valuation based pattern. Science of Computer Programming, 215: 102761 (2022)
Rongjie Yan, Siqi Wang, Yixuan Yan, Hongyu Gao, Jun Yan: Stability Evaluation for Text Localization Systems via Metamorphic Testing. The Journal of Systems and Software, Volume 181, November 2021, 111040
Jiwei Yan, Hao Zhou, Xi Deng, Ping Wang, Rongjie Yan, Jun Yan, Jian Zhang: Efficient testing of GUI applications by event sequence reduction. Science of Computer Programming, 201: 102522 (2021)
Xi Deng, Zhiqiang Zhang, Rundong Li, Jun Yan, Jian Zhang: Combinatorial Testing of Browsers’ Support for Multimedia. IEEE Transactions on Reliability, 69(4): 1323-1340 (2020).
Tianyong Wu, Xi Deng, Jun Yan, Jian Zhang: Analyses for specific defects in android applications: a survey. Frontiers of Computer Science, 13(6): 1210-1227 (2019).
Yan Hu, Jiwei Yan, Dong Yan, Qiong Lu, Jun Yan: Lightweight energy consumption analysis and prediction for Android applications. Science of Computer Programming, 162:132-147, Sep. 2018.

Conference Papers (2018-present)

Xutong Ma, Jiwei Yan, Hao Zhang, Jun Yan, Jian Zhang: Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count. ASE 2023, accepted.
Baoquan Cui, Miaomiao Wang, Chi Zhang, Jiwei Yan, Jun Yan, Jian Zhang: Detection of Java Basic Thread Misuses Based on Static Event Analysis. ASE 2023, accepted.
Shixin Zhang, Shanna Li, Xi Deng, Jiwei Yan, Jun Yan: ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps ASE tool demo 2023, accepted.
Jiwei Yan, MiaoMiao Wang, Yepang Liu, Jun Yan, Long Zhang: Locating Framework-specific Crashing Faults with Compact and Explainable Candidate Set. ICSE 2023, 172-183.
Hao Zhang, Ji Luo, Mengze Hu, Jun Yan, Jian Zhang, Zongyan Qiu: Detecting Exception Handling Bugs in C++ Programs. ICSE 2023, 1084-1095.
Miaomiao Wang, Baoquan Cui, Jiwei Yan, Jun Yan and Jian Zhang: String Test Data Generation for Java Programs. ISSRE 2022: 251-262
Jiwei Yan, Shixin Zhang, Yepang Liu, Xi Deng, Jun Yan, Jian Zhang: A Comprehensive Evaluation of Android ICC Resolution Techniques. ASE 2022: 1:1-1:13
Shuo Sun, Jun Yan, Rongjie Yan: Layer-Specific Repair of Neural Network Classifiers. ICANN 2022: 550-561
Lingwei Li, Li Yang, Huaxi Jiang, Jun Yan, Tiejian Luo, Zihan Hua, Geng Liang, Chun Zuo: AUGER: automatically generating review comments with pre-training models. ESEC/SIGSOFT FSE 2022: 1009-1021
Jiwei Yan, Shixin Zhang, Yepang Liu, Jun Yan, Jian Zhang: ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications. ICSE tool demo 2022: 105-109
Xin Zhang, Rongjie Yan, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang: ExcePy: A Python Benchmark for Bugs with Python Built-in Types. SANER 2022: 856-866
Qing Liu, Linjie Pan, Baoquan Cui, Jun Yan, Jian Zhang: Dynamic Detection of AsyncTask Related Defects. QRS 2021: 357-366
Xin Zhang, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang: Are the Scala Checks Effective? Evaluating Checks with Real-world Projects. QRS 2021: 978-989
Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu: Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. ASE 2021: 880-891.
Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan: Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions. IROS 2021: 6688-6693.
Rundong Li, Hongliang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan and Jian Zhang: GTFuzz: Guard Token Directed Grey-Box Fuzzing. PRDC 2020: 160-170.
Linjie Pan, Baoquan Cui, Hao Liu, Jiwei Yan, Siqi Wang, Jun Yan, Jian Zhang: Static Asynchronous Component Misuse Detection for Android Applications. ESEC/SIGSOFT FSE 2020: 952-963。
Kai Zhang, Yongtai Zhang, Liwei Zhang, Hongyu Gao, Rongjie Yan and Jun Yan: Neuron Activation Frequency Based Test Case Prioritization. TASE 2020: 81-88.
Jiwei Yan, Hao Liu, Linjie Pan, Jun Yan, Jian Zhang, Bin Liang: Multiple-Entry Testing of Android Applications by Constructing Activity Launching Contexts. ICSE 2020: 457-468.
Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan: Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. APLAS 2019: 291-312.
Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan, Jian Zhang: SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs. ASE (tool demo) 2019: 1122-1125
Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang: Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android. ISSTA (tool demo) 2019: 394-397.
Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang: Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis. QRS 2019: 260-271.
Rongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma and Jun Yan. SMT-based multi-objective optimization for scheduling of MPSoC applications. TASE 2019, 160-167.
Ping Wang, Jiwei Yan, Xi Deng, Jun Yan, Jian Zhang. Understanding Ineffective Events and Reducing Test Sequences for Android Applications. TASE 2019, 264-272.
Yu Zhang, Xi Deng, Jun Yan, Hang Su, Hongyu Gao: Testing the Message Flow of Android Auto Apps. SANER 2019: 559-563.
Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan and Jian Zhang: Characterizing and Identifying Misexposed Activities in Android Applications. ASE 2018, 691-701.
Cunjing Ge, Jiwei Yan, Jun Yan and Jian Zhang: Checking Activity Transition Systems with Back Transitions against Assertions. ICFEM 2018, 388-403.
Minghao Liu, Feifei Ma, Jun Yan: A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. KSEM 2018, LNCS 11062, 12-23.
Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang: LAND: a user-friendly and customizable test generation tool for Android apps. ISSTA 2018 (tool demo): 360-363.
Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu and Jun Yan: Android Stack Machine. CAV 2018, 487-504.
Ling Yang, Jun Yan, and Jian Zhang: Generating Minimal Test Set Satisfying MC/DC Criterion via SAT Based Approach. ACM SAC 2018, 1899-1906.

Journal Papers (2005-2017)

Tianyong Wu, Jierui Liu, Zhenbo Xu, Chaorong Guo, Yanli Zhang, Jun Yan, Jian Zhang: Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps. IEEE Transactions on Software Engineering, 42(11):1054 - 1076. Nov. 2016.
Yan Hu, Jun Yan, Kim-Kwang Raymond Choo: PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment. Cluster Computing, 19(1):153–166. Mar. 2016.
Zhiqiang Zhang, Jun Yan, Yong Zhao, Jian Zhang: Generating combinatorial test suite using combinatorial optimization. Journal of Systems and Software 98: 191-207 (2014).
Jun Yan, Tao Guo, Hui Ruan, and Jifeng Xuan: JUTA: An Automated Unit Testing Framework for Java (in Chinese with English Abstract). Journal of Computer Research and Development, Vol. 47 (10): 1840-1848, 2010.
Jun Yan and Jian Zhang. Combinational Testing: Principles and Methods (in Chinese with English Abstract), Journal of Software, 20(6):1393-1405, 2009.
Jun Yan and Jian Zhang. A Backtracking Search Tool for Constructing Combinatorial Test Suites. The Journal of Systems and Software, 81(10):1681-1693. Elsevier B.V., 2008.
Jun Yan and Jian Zhang. An Efficient Method to Generate Feasible Paths for Basis Path Testing. Information Processing Letters, 107(3-4):87-92. Elsevier B.V., 2008.
Hui Ruan, Jun Yan and Jian Zhang. Infinite Loop Detection Based on Path Analysis (in Chinese with English Abstract), Chinese Journal of Computers, 32(9):1750-1758, 2009.

Conference Papers (2005-2017)

Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan: Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM 2017: 192-208.
Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang. Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps. QRS 2017: 42-53.
Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan and Jian Zhang. Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. COMPSAC 2017:67-74.
Xi Deng, Tianyong Wu, Jun Yan and Jian Zhang. Combinatorial Testing on Implementations of HTML5 Support. ICST (IWCT workshop) 2017: 262-271.
Jierui Liu, Tianyong Wu, Xi Deng, Jun Yan, Jian Zhang. InsDal: A Safe and Extensible Instrumentation Tool on Dalvik Byte-code for Android Applications. SANER 2017 (tool track): 502-506.
Xingming Wu, Zhenbo Xu, Dong Yan, Tianyong Wu, Jun Yan and Jian Zhang. The Floating-point Extension of Symbolic Execution Engine for Bug Detection. APSEC 2016: 265-272.
Jierui Liu, Tianyong Wu, Jun Yan and Jian Zhang. Fixing Resource Leaks in Android Apps with Light-weight Static Analysis and Low-overhead Instrumentation. ISSRE 2016: 342-352.
Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan, and Jian Zhang. Relda2: An Effective Static Analysis Tool for Resource Leak Detection in Android Apps. ASE (Tool Demo) 2016, 762-767.
Qiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan, Feifei Ma and Fan Zhang. Lightweight Method-level Energy Consumption Estimation for Android Applications. TASE 2016: 144-151.
Jingjian Lin, Jun Yan, Jifeng Xuan: Automatic Detection of Parameter Shielding for Test Case Generation. SEKE 2015: 571-574
Tianyong Wu, Jun Yan, Jian Zhang: Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion. SERE 2014: 118-126
Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao: Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution. SERE 2014: 98-107
Yan Hu, Jun Yan, Jian Zhang, He Jiang: Profile directed systematic testing of concurrent programs. AST 2013: 47-52
Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin: Choreography Scenario-Based Test Data Generation. TASE 2014: 70-73
Yong Zhao, Zhiqiang Zhang, Jun Yan, Jian Zhang: Cascade: A Test Generation Tool for Combinatorial Testing. ICST Workshops (IWCT) 2013: 267-270
Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, Yanli Zhang: Characterizing and detecting resource leaks in Android applications. ASE 2013: 389-398
Qixing Dong, Jun Yan, Jian Zhang, Fanping Zeng: A Search Strategy Guided by Uncovered Branches for Concolic Testing. QSIC 2013: 21-24
Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang: Towards Conformance Testing of Choreography Based on Scenario. TASE 2013: 59-62
Feifei Ma, Jun Yan, Jian Zhang: Solving Generalized Optimization Problems Subject to SMT Constraints. FAW-AAIM 2012: 247-258
Tianyong Wu, Jun Yan, Jian Zhang: A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines. TASE 2012: 267-270
Baiqiang Chen, Jun Yan, Jian Zhang: Combinatorial Testing with Shielding Parameters. APSEC 2010: 280-289
Jifeng Xuan, He Jiang, Zhilei Ren, Jun Yan, Zhongxuan Luo: Automatic Bug Triage using Semi-Supervised Text Classification. SEKE 2010: 209-214
Jun Yan, Zhongjie Li, Yuan Yuan, Wei Sun and Jian Zhang. BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach. In Proc. 17th IEEE Int'l Symp. on Software Reliability Engineering (ISSRE'06). pp.75-84.
Jun Yan and Jian Zhang. SAT Based Automated Test Case Generation for MUMCUT Coverage. In Supplymentary Proceedings of ISSRE'06 (Student Paper).
Jun Yan and Jian Zhang. Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing. In Proc. 30th IEEE Annual Int'l Computer Software and Applications Conf. (COMPSAC'06). pp. 385-392.
Jun Yan, Jian Zhang, and Zhongxing Xu. Finding Relations Among Linear Constraints. In Proc. 8th Int'l Conf. on Artificial Intelligence and Symbolic Computation (AISC'06), LNAI 4120, pp. 226-240. Springer-Verlag, 2006.
Hui Ruan, Jian Zhang and Jun Yan. Test Data Generation for C Programs with String-Handling Functions. In TASE'08, pp. 219-226, 2008.
Yuxiang Shi, Jun Yan, Zhongjie Li and Jun Zhu. Path-Based Verification for Composition of Semantic Web Services. In Proc. 23rd Annual ACM Symp. on Applied Computing (SAC'08), pp. 2392-2396, 2008.